PMAP_PCID_USER
svs_pcid_ucr3 = __SHIFTIN(PMAP_PCID_USER, CR3_PCID) | CR3_NO_TLB_FLUSH;
invpcid(INVPCID_ADDRESS, PMAP_PCID_USER, ci->ci_svs_rsp0);
invpcid(INVPCID_CONTEXT, PMAP_PCID_USER, 0);