VMX_EPT_DEFAULT_GAW 1528 arch/x86/kvm/vmx.c 		VMX_EPT_DEFAULT_GAW << VMX_EPT_GAW_EPTP_SHIFT;
VMX_EPT_DEFAULT_GAW 3188 arch/x86/kvm/vmx.c 	return VMX_EPT_DEFAULT_GAW + 1;