INVPCID_TYPE_SINGLE_CTXT
__invpcid(pcid, 0, INVPCID_TYPE_SINGLE_CTXT);
case INVPCID_TYPE_SINGLE_CTXT: