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;