From: Steven Hand <steven@xensource.com>
Date: Mon, 21 Aug 2006 12:21:51 +0000 (+0100)
Subject: Fix assertion.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15710^2~14
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=17d1c94ebf7bcec1126ed156a7f1b0aca2a783f0;p=xen.git

Fix assertion.

Signed-off-by: Steven Hand <steven@xensource.com>
---

diff --git a/xen/arch/x86/x86_32/domain_page.c b/xen/arch/x86/x86_32/domain_page.c
index 2ce06b66d7..b720003fc0 100644
--- a/xen/arch/x86/x86_32/domain_page.c
+++ b/xen/arch/x86/x86_32/domain_page.c
@@ -241,7 +241,7 @@ void unmap_domain_page_global(void *va)
     l1_pgentry_t *pl1e;
     unsigned int idx;
 
-    ASSERT((__va >= IOREMAP_VIRT_START) && (__va < IOREMAP_VIRT_END));
+    ASSERT(__va >= IOREMAP_VIRT_START);
 
     /* /First/, we zap the PTE. */
     pl2e = virt_to_xen_l2e(__va);
@@ -270,7 +270,7 @@ paddr_t maddr_from_mapped_domain_page(void *va)
     }
     else
     {
-        ASSERT((__va >= IOREMAP_VIRT_START) && (__va < IOREMAP_VIRT_END));
+        ASSERT(__va >= IOREMAP_VIRT_START);
         pl2e = virt_to_xen_l2e(__va);
         pl1e = l2e_to_l1e(*pl2e) + l1_table_offset(__va);
         mfn = l1e_get_pfn(*pl1e);