From: Julien Grall <julien.grall@linaro.org>
Date: Fri, 10 May 2013 02:17:47 +0000 (+0100)
Subject: xen/arm: lr must be included in range [0-nr_lr(
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=1f5bee6af4a7d38990cd7c139bf79c1c213cfe74;p=people%2Faperard%2Fxen-arm.git

xen/arm: lr must be included in range [0-nr_lr(

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c
index 9ebfebea23..dd902d293c 100644
--- a/xen/arch/arm/gic.c
+++ b/xen/arch/arm/gic.c
@@ -510,7 +510,9 @@ static inline void gic_set_lr(int lr, unsigned int virtual_irq,
 {
     int maintenance_int = GICH_LR_MAINTENANCE_IRQ;
 
-    BUG_ON(lr > nr_lrs);
+    BUG_ON(lr >= nr_lrs);
+    BUG_ON(lr < 0);
+    BUG_ON(state & ~(GICH_LR_STATE_MASK<<GICH_LR_STATE_SHIFT));
 
     GICH[GICH_LR + lr] = state |
         maintenance_int |