On 10/14/2016 02:41 PM, Andrew Cooper wrote: > On 14/10/16 19:05, Boris Ostrovsky wrote: >> PVH guests don't receive ACPI hotplug interrupts and therefore >> need to monitor xenstore for CPU hotplug event. > Why not? If they don't, they should. As we are providing ACPI anyway, > we should provide all bits of it.
We don't have IOAPIC, which is how these interrupts are typically delivered. I suppose we might be able to specify it as something else. I'll look into this. -boris