unmap_domain_page needs to account for vmap region

diff --git a/xen/arch/x86/domain_page.c b/xen/arch/x86/domain_page.c
index 563efa9420f6db6418376c05a34026e01e13f4e0..95aaa2b481a64a26dfe15c3922e81e4216be18d9 100644 (file)
--- a/xen/arch/x86/domain_page.c
+++ b/xen/arch/x86/domain_page.c
@@ -181,7 +181,8 @@ void unmap_domain_page(const void *ptr)
     unsigned long va = (unsigned long)ptr, mfn, flags;
     struct vcpu_maphash_entry *hashent;
 
-    if ( va >= DIRECTMAP_VIRT_START )
+    if ( va >= DIRECTMAP_VIRT_START ||
+        (va >= VMAP_VIRT_START && va < VMAP_VIRT_END) )
         return;
 
     ASSERT(va >= MAPCACHE_VIRT_START && va < MAPCACHE_VIRT_END);