On 30/01/2015 16:20, Radim Krčmář wrote: >> > + /* XXX: A superset of x2APIC broadcasts is fine in practice as long as >> > + * we don't support APIC ID > 0xfeffffff. >> > + */ >> > >> > It's ugly. :) > Yeah, there is: don't deliver x2APIC broadcasts to xAPIC. > (I'm not even sure if it is correct ...) > > Without that delivery, we could do something like > if (irq->dest_id == (x2apic_ipi ? X2APIC_BROADCAST : APIC_BROADCAST)) Nadav, do you know what real hardware does? Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html