[Xen-devel][Patch][Resend] Small fix for SMP PAE guest on x86-64

["Xin, Xiaohui" <xiaohui.xin@xxxxxxxxx>]

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.

 

And we find keir’s suggestion is much better, so we modify the patch

according to it.

 

Signed-off-by: Xiaohui Xin xiaohui.xin@xxxxxxxxx

Signed-off-by: Xin Li <xin.b.li@xxxxxxxxx>

 

Attachment: 0425.diff
Description: 0425.diff

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel