CAS_CDRXCADDR
KASSERT((CAS_CDRXCADDR(sc, 0) & 0x1fff) == 0);
BUS_ADDR_HI32(CAS_CDRXCADDR(sc, 0)));
BUS_ADDR_LO32(CAS_CDRXCADDR(sc, 0)));