CAS_CDRXD2ADDR
(((uint64_t)CAS_CDRXD2ADDR(sc, 0)) >> 32));
CAS_CDRXD2ADDR(sc, 0) & 0xffffffff);
CAS_CDRXD2ADDR(sc, 0), sc->sc_cddma);