CAS_CDRXADDR      977 dev/pci/if_cas.c 	KASSERT((CAS_CDRXADDR(sc, 0) & 0x1fff) == 0);
CAS_CDRXADDR      979 dev/pci/if_cas.c 	    (((uint64_t)CAS_CDRXADDR(sc,0)) >> 32));
CAS_CDRXADDR      980 dev/pci/if_cas.c 	bus_space_write_4(t, h, CAS_RX_DRING_PTR_LO, CAS_CDRXADDR(sc, 0));