VMX_VMFUNC_EPTP_SWITCHING   63 arch/x86/kvm/vmx/evmcs.h #define EVMCS1_UNSUPPORTED_VMFUNC (VMX_VMFUNC_EPTP_SWITCHING)
VMX_VMFUNC_EPTP_SWITCHING 5954 arch/x86/kvm/vmx/nested.c 				VMX_VMFUNC_EPTP_SWITCHING;
VMX_VMFUNC_EPTP_SWITCHING  227 arch/x86/kvm/vmx/nested.h 		 VMX_VMFUNC_EPTP_SWITCHING);