ia64/xen-unstable

changeset 9842:57e7b96139e7

This is a small fix for SMP PAE guest on x86-64.
Since part of the VMX guest initialization is running in the context of
dom0, so when we want to make sure the operation of shadow ops is
always done by vcpu0 of the guest VMX domain, we should make sure
the current vcpu0 is running in guest domain and not in the dom0.

Signed-off-by: Xiaohui Xin xiaohui.xin@intel.com
Signed-off-by: Xin Li <xin.b.li@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Tue Apr 25 08:56:01 2006 +0100 (2006-04-25)
parents 25e4cd1c3d26
children 16bdb9ecb329
files xen/arch/x86/shadow_public.c
line diff
     1.1 --- a/xen/arch/x86/shadow_public.c	Tue Apr 25 08:54:36 2006 +0100
     1.2 +++ b/xen/arch/x86/shadow_public.c	Tue Apr 25 08:56:01 2006 +0100
     1.3 @@ -108,7 +108,7 @@ int shadow_set_guest_paging_levels(struc
     1.4       * Need to wait for VCPU0 to complete the on-going shadow ops.
     1.5       */
     1.6  
     1.7 -    if ( v->vcpu_id )
     1.8 +    if ( v->domain == d && v->vcpu_id )
     1.9          return 1;
    1.10  
    1.11      shadow_lock(d);