Searched refs:VMX_EPT_IDENTITY_PAGETABLE_ADDR (Results 1 – 2 of 2) sorted by relevance
| /linux-4.1.27/arch/x86/include/asm/ | ||
| D | vmx.h | 434 #define VMX_EPT_IDENTITY_PAGETABLE_ADDR 0xfffbc000ul macro |
| /linux-4.1.27/arch/x86/kvm/ | ||
| D | vmx.c | 8447 VMX_EPT_IDENTITY_PAGETABLE_ADDR; in vmx_create_vcpu() |