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. ~Andrew
