VMX_EPT_IPAT_BIT 6885 arch/x86/kvm/vmx/vmx.c 		ipat = VMX_EPT_IPAT_BIT;
VMX_EPT_IPAT_BIT 6891 arch/x86/kvm/vmx/vmx.c 		ipat = VMX_EPT_IPAT_BIT;