[PATCH 0/5] Fix multiple issues with the interrupts on ARM

[Julien Grall <julien.grall@linaro.org>]

Hello,

This patch series aims to fix different issues on Xen on ARM with the
arndale and the versatile express:
  - Handle correctly one shot IRQ (fixed by patch 3)
  - Make timers work with heavy load (fixed by patch 2)
  - Make ethernet card works on the TC2 (fixed by patch 5)

Some of these patches (2 and 5) are proof of concept. I would be happy if
someone find a better solution :).

Cheers,

Julien Grall (4):
  xen/arm: Physical IRQ is not always equal to virtual IRQ
  xen/arm: Don't reinject the IRQ if it's already in LRs
  xen/arm: Rename gic_irq_{startup,shutdown} to gic_irq_{mask,unmask}
  xen/arm: Only enable physical IRQs when the guest asks

Stefano Stabellini (1):
  xen/arm: Keep count of inflight interrupts

 xen/arch/arm/domain_build.c  |   14 +++++
 xen/arch/arm/gic.c           |  119 ++++++++++++++++++++++++++++++------------
 xen/arch/arm/vgic.c          |   11 ++--
 xen/include/asm-arm/domain.h |    2 +
 xen/include/asm-arm/gic.h    |    7 +++
 xen/include/asm-arm/irq.h    |    6 +++
 6 files changed, 122 insertions(+), 37 deletions(-)

-- 
1.7.10.4