CAS_CDRXCADDR
KASSERT((CAS_CDRXCADDR(sc, 0) & 0x1fff) == 0);
(((uint64_t)CAS_CDRXCADDR(sc,0)) >> 32));
bus_space_write_4(t, h, CAS_RX_CRING_PTR_LO, CAS_CDRXCADDR(sc, 0));