From: Hongyan Xia <hong...@amazon.com>
These are found in the NDEBUG build.
Signed-off-by: Hongyan Xia <hong...@amazon.com>
---
xen/arch/x86/domain_page.c | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/xen/arch/x86/domain_page.c b/xen/arch/x86/domain_page.c
index f4f53a2a33..f606677ae6 100644
--- a/xen/arch/x86/domain_page.c
+++ b/xen/arch/x86/domain_page.c
@@ -78,11 +78,6 @@ void *map_domain_page(mfn_t mfn)
struct mapcache_vcpu *vcache;
struct vcpu_maphash_entry *hashent;
-#ifdef NDEBUG
- if ( mfn_x(mfn) <= PFN_DOWN(__pa(HYPERVISOR_VIRT_END - 1)) )
- return mfn_to_virt(mfn_x(mfn));
-#endif
-
v = mapcache_current_vcpu();
if ( !v )
{
@@ -257,11 +252,6 @@ int mapcache_domain_init(struct domain *d)
struct mapcache_domain *dcache = &d->arch.mapcache;
unsigned int bitmap_pages;
-#ifdef NDEBUG
- if ( !mem_hotplug && max_page <= PFN_DOWN(__pa(HYPERVISOR_VIRT_END - 1)) )
- return 0;
-#endif
-
BUILD_BUG_ON(MAPCACHE_VIRT_END + PAGE_SIZE * (3 +
2 * PFN_UP(BITS_TO_LONGS(MAPCACHE_ENTRIES) * sizeof(long))) >
MAPCACHE_VIRT_START + (PERDOMAIN_SLOT_MBYTES << 20));
--
2.17.1
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
