On 11/25/2014 03:45 AM, Jan Beulich wrote:
@@ -1429,6 +1429,12 @@ int vlapic_init(struct vcpu *v)
HVM_DBG_LOG(DBG_LEVEL_VLAPIC, "%d", v->vcpu_id);
+ if ( is_pvh_vcpu(v) )
+ {
+ vlapic->hw.disabled = VLAPIC_HW_DISABLED;
I did consider doing that but I thought that this flag is meant to be
set when the guest clears MSR_IA32_APICBASE_ENABLE to disable APIC and
therefore I'd be overloading it (the flag) in a way.
Regardless, do you think that disabling VPMU for PVH is worth anyway?
-boris
+ return 0;
+ }
+
vlapic->pt.source = PTSRC_lapic;
if (vlapic->regs_page == NULL)
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel