]> xenbits.xensource.com Git - xen.git/commit
projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0035ec) | patch
xen/arm: Physical IRQ is not always equal to virtual IRQ
authorJulien Grall <julien.grall@linaro.org>
Thu, 12 Dec 2013 18:59:02 +0000 (18:59 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 16 Dec 2013 15:54:10 +0000 (15:54 +0000)
commit82064f033bcea2ba4a9da9bbbeb67431419a4e87
tree7202a1cf8471ae04e4f4ea86e7e931b6e0f7032dtree
parenta0035ecc0d82c1d4dcd5e429e2fcc3192d89747acommit | diff
xen/arm: Physical IRQ is not always equal to virtual IRQ

When Xen needs to EOI a physical IRQ, we should use the IRQ number
in irq_desc instead of the virtual IRQ.

Remove the eoi flag in maintenance_interrupt and replace the check with
a check on p->desc != NULL.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c diff | blob | blame | history
Xen (staging and unstable) mirror