Symbol: DGE_CDRXADDR
sys/dev/pci/if_dge.c
1949
CSR_WRITE(sc, DGE_RDBAH, ((uint64_t)DGE_CDRXADDR(sc, 0)) >> 32);
sys/dev/pci/if_dge.c
1950
CSR_WRITE(sc, DGE_RDBAL, DGE_CDRXADDR(sc, 0));