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

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2014-03-20 at 15:10 +0000, Julien Grall wrote:
> 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.

Right, that is indeed a missing piece of the puzzle.

Ian.



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