CT_CID_TO_32BITS_UID
ddi_put32(acc, &ct->CTCommand.command, CT_CID_TO_32BITS_UID);
CT_CID_TO_32BITS_UID, "CT_CID_TO_32BITS_UID", \