INVPCID_TYPE_SINGLE_CTXT   38 arch/x86/include/asm/invpcid.h 	__invpcid(pcid, 0, INVPCID_TYPE_SINGLE_CTXT);
INVPCID_TYPE_SINGLE_CTXT 5441 arch/x86/kvm/vmx/vmx.c 	case INVPCID_TYPE_SINGLE_CTXT: