VMX_VPID_EXTENT_SINGLE_CONTEXT 5018 arch/x86/kvm/vmx/nested.c 	case VMX_VPID_EXTENT_SINGLE_CONTEXT:
VMX_VPID_EXTENT_SINGLE_CONTEXT  290 arch/x86/kvm/vmx/ops.h 		__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);