Re: [Xen-devel] [PATCH v4 10/33] xen/arm: Allow virq != irq

2015-03-31 Thread Ian Campbell
On Thu, 2015-03-19 at 19:29 +, Julien Grall wrote: > Currently, Xen is assuming that the virtual IRQ will always be the same > as IRQ. > > Modify route_guest_irq to take the virtual IRQ in parameter which allow > Xen to assign a different IRQ number. Also store the vIRQ in the desc > action to

[Xen-devel] [PATCH v4 10/33] xen/arm: Allow virq != irq

2015-03-19 Thread Julien Grall
Currently, Xen is assuming that the virtual IRQ will always be the same as IRQ. Modify route_guest_irq to take the virtual IRQ in parameter which allow Xen to assign a different IRQ number. Also store the vIRQ in the desc action to easily retrieve the IRQ target when we need to inject the interrup