__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);