xen/arm: use cpumask_t to describe cpu mask in gic_route_dt_irq
authorJulien Grall <julien.grall@linaro.org>
Thu, 26 Sep 2013 11:09:36 +0000 (12:09 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 26 Sep 2013 14:44:45 +0000 (15:44 +0100)
commitd4e681a59bf2b90acb44044c0f236bce26697e0c
treed3b58ffa03b7d1b7e0ca36505c3822a3f502f05b
parentf70263755ae0741d351caac0517b1ffaca646182
xen/arm: use cpumask_t to describe cpu mask in gic_route_dt_irq

Replace by cpumask_t to take advantage of cpumask_* helpers.

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