Re: [Xen-devel] [RFC PATCH 7/9] x86/SVM: Add vcpu scheduling support for AVIC

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 14.10.16 at 17:31, <konrad.wilk@xxxxxxxxxx> 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@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel