Symbol: WPI_INTR_STATUS
sys/dev/pci/if_wpi.c
3331
WPI_WRITE(sc, WPI_INTR_STATUS, 0xff);
sys/dev/pci/if_wpi.c
3332
WPI_WRITE(sc, WPI_INTR_STATUS, 0x00070000);