Re: [Xen-devel] [PATCH v2 10/11] pvh: Send an SCI on VCPU hotplug event

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 09.11.16 at 15:39, <boris.ostrovsky@xxxxxxxxxx> wrote:
> --- a/xen/arch/x86/domctl.c
> +++ b/xen/arch/x86/domctl.c
> @@ -1443,6 +1443,18 @@ long arch_do_domctl(
>              break;
>  
>          d->arch.avail_vcpus = num;
> +
> +        /*
> +         * For PVH guests we need to send an SCI and set enable/status
> +         * bits in GPE block (DSDT specifies _E02, so it's bit 2).
> +         */

One more thing - this comment should be accompanied by an update
to the other side, so whoever touches one side has a reasonable
chance to find the other part that may also need changing.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel