VMX_EPT_IDENTITY_PAGETABLE_ADDR 1546 arch/x86/kvm/vmx.c 			VMX_EPT_IDENTITY_PAGETABLE_ADDR;
VMX_EPT_IDENTITY_PAGETABLE_ADDR 1766 arch/x86/kvm/vmx.c 	identity_map_pfn = VMX_EPT_IDENTITY_PAGETABLE_ADDR >> PAGE_SHIFT;
VMX_EPT_IDENTITY_PAGETABLE_ADDR 1829 arch/x86/kvm/vmx.c 	kvm_userspace_mem.guest_phys_addr = VMX_EPT_IDENTITY_PAGETABLE_ADDR;
VMX_EPT_IDENTITY_PAGETABLE_ADDR 1837 arch/x86/kvm/vmx.c 			VMX_EPT_IDENTITY_PAGETABLE_ADDR >> PAGE_SHIFT);