__invept          309 arch/x86/kvm/vmx/ops.h 	__invept(VMX_EPT_EXTENT_GLOBAL, 0, 0);
__invept          315 arch/x86/kvm/vmx/ops.h 		__invept(VMX_EPT_EXTENT_CONTEXT, eptp, 0);