VMX_EPT_EXTENT_GLOBAL 4943 arch/x86/kvm/vmx/nested.c 	case VMX_EPT_EXTENT_GLOBAL:
VMX_EPT_EXTENT_GLOBAL  309 arch/x86/kvm/vmx/ops.h 	__invept(VMX_EPT_EXTENT_GLOBAL, 0, 0);