WPI_INTR_MASK    1521 dev/pci/if_wpi.c 		WPI_WRITE(sc, WPI_MASK, WPI_INTR_MASK);
WPI_INTR_MASK    2839 dev/pci/if_wpi.c 	WPI_WRITE(sc, WPI_MASK, WPI_INTR_MASK);
WPI_INTR_MASK    2901 dev/pci/if_wpi.c 	WPI_WRITE(sc, WPI_INTR, WPI_INTR_MASK);