xen/arm: Initialize correctly IRQ routing
authorJulien Grall <julien.grall@linaro.org>
Thu, 26 Sep 2013 11:09:37 +0000 (12:09 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 26 Sep 2013 14:44:45 +0000 (15:44 +0100)
commitc9760939c0cea28c7cbaacd3f893fc6cefc09bef
treeca41d84908aeacde06ad39805ebd3b4f3ce4ba49
parentd4e681a59bf2b90acb44044c0f236bce26697e0c
xen/arm: Initialize correctly IRQ routing

When Xen initialize the GIC distributor, we need to route all the IRQs to
the boot CPU. The CPU ID can differ between Xen and the GIC.

When ITARGETSR0 is read, each field will return a value that corresponds
only to the processor reading the register. So Xen can use the PPI 0 to
initialize correctly the routing.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c