is a small fix for SMP PAE guest on x86-64.
part of the VMX guest initialization is running in the context of
so when we want to make sure the operation of shadow ops is
done by vcpu0 of the guest VMX domain, we should make sure
current vcpu0 is running in guest domain and not in the dom0.
we find keir’s suggestion is much better, so we modify the patch
Xiaohui Xin xiaohui.xin@xxxxxxxxx
Xin Li <xin.b.li@xxxxxxxxx>