Symbol: DGE_CDTXADDR
sys/dev/pci/if_dge.c
1922
CSR_WRITE(sc, DGE_TDBAH, ((uint64_t)DGE_CDTXADDR(sc, 0)) >> 32);
sys/dev/pci/if_dge.c
1923
CSR_WRITE(sc, DGE_TDBAL, DGE_CDTXADDR(sc, 0));