Symbol: CAS_CDTXADDR
sys/dev/pci/if_cas.c
983
KASSERT((CAS_CDTXADDR(sc, 0) & 0x1fff) == 0);
sys/dev/pci/if_cas.c
985
(((uint64_t)CAS_CDTXADDR(sc,0)) >> 32));
sys/dev/pci/if_cas.c
986
bus_space_write_4(t, h, CAS_TX_RING_PTR_LO, CAS_CDTXADDR(sc, 0));