You need to sign in or sign up before continuing.
-
Dongxiao Xu authored
cpuid_update may operate VMCS, so vcpu_load() and vcpu_put() should be called to ensure correctness. Signed-off-by:
Dongxiao Xu <dongxiao.xu@intel.com> Signed-off-by:
Marcelo Tosatti <mtosatti@redhat.com>
fe19c5a4