Re: [Xen-devel] [PATCH v5 08/13] pvh: Send an SCI on VCPU hotplug event

2016-12-20 Thread Boris Ostrovsky
On 12/20/2016 08:37 AM, Jan Beulich wrote: On 17.12.16 at 00:18, wrote: >> @@ -128,6 +130,13 @@ static int acpi_access_common(struct domain *d, bool >> is_guest_access, >> *en = (((v & 0xff) << 8) | (*en & 0xff)) & *mask_en; >> break; >> } >> + >> +

Re: [Xen-devel] [PATCH v5 08/13] pvh: Send an SCI on VCPU hotplug event

2016-12-20 Thread Jan Beulich
>>> On 17.12.16 at 00:18, wrote: > @@ -128,6 +130,13 @@ static int acpi_access_common(struct domain *d, bool > is_guest_access, > *en = (((v & 0xff) << 8) | (*en & 0xff)) & *mask_en; > break; > } > + > +/* > + * If a new bit has been set in statu

[Xen-devel] [PATCH v5 08/13] pvh: Send an SCI on VCPU hotplug event

2016-12-16 Thread Boris Ostrovsky
When GPE0 status register gets a bit set (currently XEN_GPE0_CPUHP_BIT only) send an SCI to the guest. Also update send_guest_global_virq() to handle cases when VCPU0 is offlined. Signed-off-by: Boris Ostrovsky --- Changes in v5: * Fixed SCI-triggering logic xen/arch/x86/hvm/acpi.c| 9