Symbol: WPI_FH_INT
src/add-ons/kernel/drivers/network/wlan/iprowifi3945/dev/pci/if_wpi.c
1696
r2 = WPI_READ(sc, WPI_FH_INT);
src/add-ons/kernel/drivers/network/wlan/iprowifi3945/dev/pci/if_wpi.c
1708
WPI_WRITE(sc, WPI_FH_INT, r2);
src/add-ons/kernel/drivers/network/wlan/iprowifi3945/dev/pci/if_wpi.c
3306
WPI_WRITE(sc, WPI_FH_INT, 0xffffffff);