diff options
Diffstat (limited to 'xen/arch/x86/hvm/vmx/vmcs.c')
| -rw-r--r-- | xen/arch/x86/hvm/vmx/vmcs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c index 48506c5b32..ab8b2d9b89 100644 --- a/xen/arch/x86/hvm/vmx/vmcs.c +++ b/xen/arch/x86/hvm/vmx/vmcs.c @@ -630,7 +630,7 @@ static int construct_vmcs(struct vcpu *v) if ( paging_mode_hap(d) ) { __vmwrite(EPT_POINTER, d->arch.hvm_domain.vmx.ept_control.eptp); -#ifdef CONFIG_X86_PAE +#ifdef __i386__ __vmwrite(EPT_POINTER_HIGH, d->arch.hvm_domain.vmx.ept_control.eptp >> 32); #endif |