x86: fix off-by-one error in the cache flush portion of flush_area_local().

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

diff --git a/xen/arch/x86/flushtlb.c b/xen/arch/x86/flushtlb.c
index 5a012d4a0daa49f6c67f83dcdb33b3ce6cec2130..e0388e7cd9451a6fe2feef149c0e16e6a46f0337 100644 (file)
--- a/xen/arch/x86/flushtlb.c
+++ b/xen/arch/x86/flushtlb.c
@@ -149,7 +149,7 @@ void flush_area_local(const void *va, unsigned int flags)
     {
         unsigned long i, sz = 0;
 
-        if ( order < (BITS_PER_LONG - PAGE_SHIFT - 1) )
+        if ( order < (BITS_PER_LONG - PAGE_SHIFT) )
             sz = 1UL << (order + PAGE_SHIFT);
 
         if ( c->x86_clflush_size && c->x86_cache_size && sz &&