Symbol: STGE_RFDListPtrHi
sys/dev/pci/if_stge.c
1173
CSR_WRITE_4(sc, STGE_RFDListPtrHi, 0); /* NOTE: 32-bit DMA */
sys/dev/pci/if_stge.c
1360
CSR_WRITE_4(sc, STGE_RFDListPtrHi, 0);