cpu_cid_to_cid
unsigned int cid = cpu_cid_to_cid(t->mm_cid.cid);
pcp->cid = cpu_cid_to_cid(pcp->cid);
unsigned int new_cid, cid = cpu_cid_to_cid(orig_cid);
if (likely(cpu_cid_to_cid(cpu_cid) < max_cids)) {
cpu_cid = cpu_cid_to_cid(cpu_cid) | MM_CID_TRANSIT;
tcid = cpu_cid_to_cid(cpu_cid);