Re: [Xen-devel] [PATCH v3 12/18] xen/arm: IRQ: Do not allow IRQ to be shared between domains and XEN

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Tue, 2014-04-08 at 15:44 +0100, Julien Grall wrote:
> The current dt_route_irq_to_guest implementation sets IRQ_GUEST even if the
> IRQ is correctly setup.
> 
> An IRQ can be shared between devices, if the devices are not assigned to the
> same domain or Xen, then this could result in routing the IRQ to the domain
> instead of Xen ...
> 
> Also avoid to relying on wrong the behaviour when Xen is routing an IRQ to
> DOM0. Therefore check the return code from route_dt_irq_to_guest in
> map_device.
> 
> Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>


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