Re: [Xen-devel] [PATCH v4 10/10] xen/arm: gic_events_need_delivery and irq priorities

[Julien Grall <julien.grall@xxxxxxxxxx>]

On 03/20/2014 11:03 AM, Ian Campbell wrote:
> On Wed, 2014-03-19 at 14:00 +0000, Julien Grall wrote:
>> So people won't think we are handling correctly priority at the host level.
> 
> I think we mostly handle host level interrupt priorities OK, don't we?

We handle host level interrupt priorities but we don't propagate the
guest priorities.

Regards,

-- 
Julien Grall

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