From: Feng Wu <feng.wu@intel.com>
Date: Wed, 31 Aug 2016 16:13:47 +0000 (+0200)
Subject: passthrough: fix a BUG_ON issue
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~503
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f164d498810560322c9f3a3f801eace6ebc6c9e1;p=xen.git

passthrough: fix a BUG_ON issue

The 'idx' can equal to the max number of vCPUs, fix it.

Signed-off-by: Feng Wu <feng.wu@intel.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
---

diff --git a/xen/drivers/passthrough/io.c b/xen/drivers/passthrough/io.c
index 9e6b46cd63..66577b6c44 100644
--- a/xen/drivers/passthrough/io.c
+++ b/xen/drivers/passthrough/io.c
@@ -243,7 +243,7 @@ static struct vcpu *vector_hashing_dest(const struct domain *d,
         for ( i = 0; i <= mod; i++ )
         {
             idx = find_next_bit(dest_vcpu_bitmap, d->max_vcpus, idx) + 1;
-            BUG_ON(idx >= d->max_vcpus);
+            BUG_ON(idx > d->max_vcpus);
         }
 
         dest = d->vcpu[idx - 1];