aboutsummaryrefslogtreecommitdiffstats
path: root/xen
diff options
context:
space:
mode:
authorJulien Grall <julien.grall@linaro.org>2013-09-26 12:09:39 +0100
committerIan Campbell <ian.campbell@citrix.com>2013-09-26 15:44:58 +0100
commita22a8e48eee4d1157eeef2b9c1b81ef9124dda4e (patch)
tree6546c5b506751975c26c45d58d6531a862742d98 /xen
parent1113482036638cb245782631b6d92c2039a7f207 (diff)
downloadxen-a22a8e48eee4d1157eeef2b9c1b81ef9124dda4e.tar.gz
xen-a22a8e48eee4d1157eeef2b9c1b81ef9124dda4e.tar.bz2
xen-a22a8e48eee4d1157eeef2b9c1b81ef9124dda4e.zip
xen/arm: Fix assert in send_SGI_one
The GIC can handle maximum 8 cpus (0...7). The CPU id 7 is still valid. Signed-off-by: Julien Grall <julien.grall@linaro.org> Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen')
-rw-r--r--xen/arch/arm/gic.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c
index 05685cded0..74575cda7a 100644
--- a/xen/arch/arm/gic.c
+++ b/xen/arch/arm/gic.c
@@ -477,7 +477,7 @@ void send_SGI_mask(const cpumask_t *cpumask, enum gic_sgi sgi)
void send_SGI_one(unsigned int cpu, enum gic_sgi sgi)
{
- ASSERT(cpu < 7); /* Targets bitmap only supports 8 CPUs */
+ ASSERT(cpu < NR_GIC_CPU_IF); /* Targets bitmap only supports 8 CPUs */
send_SGI_mask(cpumask_of(cpu), sgi);
}