>>> On 14.10.16 at 17:31, <konrad.w...@oracle.com> wrote: > On Mon, Sep 19, 2016 at 12:52:46AM -0500, Suravee Suthikulpanit wrote: >> + * APIC ID > 0xff is reserved. >> + */ >> + h_phy_apic_id = cpu_data[v->processor].apicid; >> + if ( h_phy_apic_id >= AVIC_PHY_APIC_ID_MAX ) > > What does that mean to the guest? I presume it means it will always > get an VMEXIT b/c the is_running is not set? > > Meaning whatever guest ends up unhappily on an physical CPU with > the APIC ID of 255 is screwed :-(?
Such a CPU would be unusable - 0xFF is the "broadcast" destination specifier. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
