xen/arm: Fix assert in send_SGI_one
authorJulien Grall <julien.grall@linaro.org>
Thu, 26 Sep 2013 11:09:39 +0000 (12:09 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 26 Sep 2013 14:44:58 +0000 (15:44 +0100)
commita22a8e48eee4d1157eeef2b9c1b81ef9124dda4e
tree6546c5b506751975c26c45d58d6531a862742d98
parent1113482036638cb245782631b6d92c2039a7f207
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>
xen/arch/arm/gic.c