linux/evtchn: fix off-by-one error in the pirq range check

Signed-off-by: Jan Beulich <jbeulich@novell.com>

diff --git a/drivers/xen/core/evtchn.c b/drivers/xen/core/evtchn.c
index e358a3d1439361047070d623dea05a56c632be47..63ea95739a8dceb02069550c89b82b5cc90bff08 100644 (file)
--- a/drivers/xen/core/evtchn.c
+++ b/drivers/xen/core/evtchn.c
@@ -1077,7 +1077,7 @@ void irq_resume(void)
 
 void evtchn_register_pirq(int irq)
 {
-       BUG_ON(irq < PIRQ_BASE || irq - PIRQ_BASE > NR_PIRQS);
+       BUG_ON(irq < PIRQ_BASE || irq - PIRQ_BASE >= NR_PIRQS);
        if (identity_mapped_irq(irq) || type_from_irq(irq) != IRQT_UNBOUND)
                return;
        irq_info[irq] = mk_irq_info(IRQT_PIRQ, irq, 0);