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>