xen/arm: Replace route_guest_dt_irq by route_guest_irq
authorJulien Grall <julien.grall@linaro.org>
Fri, 16 May 2014 14:40:29 +0000 (15:40 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 21 May 2014 11:48:01 +0000 (12:48 +0100)
commitebb398b771a0d205f5cd2e36e98da83b186265cf
tree715627e441038b65ee829ef7cd283e5182525d90
parent554cbe32381fa4482e1a47cd31afb054e97d986d
xen/arm: Replace route_guest_dt_irq by route_guest_irq

We can use platform_get_irq to get the IRQ which will be route to the guest.

platform_get_irq will store the type of IRQ (e.g level/edge...) directly in
the irq_desc.

This will avoid to have device tree specific routing function.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c
xen/arch/arm/irq.c
xen/arch/arm/platforms/xgene-storm.c
xen/include/asm-arm/irq.h