CAS_CDRXDADDR
(((uint64_t)CAS_CDRXDADDR(sc, 0)) >> 32));
CAS_CDRXDADDR(sc, 0) & 0xffffffff);
CAS_CDTXDADDR(sc, 0), CAS_CDRXCADDR(sc, 0), CAS_CDRXDADDR(sc, 0),