Symbol: WPI_FH_TX_BASE
sys/dev/pci/if_wpi.c
3153
WPI_WRITE(sc, WPI_FH_TX_BASE, sc->shared_dma.paddr);
sys/dev/pci/if_wpi.c
3163
(void)WPI_READ(sc, WPI_FH_TX_BASE); /* barrier */