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