From 4d965f931a901b752c450684b8d09c74f1c1ff1b Mon Sep 17 00:00:00 2001 From: Wei Liu Date: Mon, 25 Feb 2019 15:39:34 +0000 Subject: [PATCH] unmap_domain_page needs to account for vmap region --- xen/arch/x86/domain_page.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/arch/x86/domain_page.c b/xen/arch/x86/domain_page.c index 563efa9420..95aaa2b481 100644 --- 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); -- 2.39.5