invpcid
invpcid(INVPCID_ADDRESS, PMAP_PCID_USER, ci->ci_svs_rsp0);
invpcid(INVPCID_CONTEXT, PMAP_PCID_USER, 0);