>>> On 09.11.16 at 15:39, <boris.ostrov...@oracle.com> 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@lists.xen.org https://lists.xen.org/xen-devel