struct mapcache_vcpu *vcache;
struct vcpu_maphash_entry *hashent;
-#ifdef NDEBUG
+#if defined(CONFIG_DIRECTMAP) && defined(NDEBUG)
if ( mfn_x(mfn) <= PFN_DOWN(__pa(HYPERVISOR_VIRT_END - 1)) )
return mfn_to_virt(mfn_x(mfn));
#endif
unsigned long va = (unsigned long)ptr, mfn, flags;
struct vcpu_maphash_entry *hashent;
+#ifdef CONFIG_DIRECTMAP
if ( va >= DIRECTMAP_VIRT_START )
return;
+#endif
if ( va >= FIXADDR_START && va < FIXADDR_TOP )
{
struct mapcache_domain *dcache = &d->arch.mapcache;
unsigned int bitmap_pages;
-#ifdef NDEBUG
+#if defined(CONFIG_DIRECTMAP) && defined(NDEBUG)
if ( !mem_hotplug && max_page <= PFN_DOWN(__pa(HYPERVISOR_VIRT_END - 1)) )
return 0;
#endif
system_state < SYS_STATE_active) ||
local_irq_is_enabled()));
-#ifdef NDEBUG
+#if defined(CONFIG_DIRECTMAP) && defined(NDEBUG)
if ( mfn_x(mfn) <= PFN_DOWN(__pa(HYPERVISOR_VIRT_END - 1)) )
return mfn_to_virt(mfn_x(mfn));
#endif
{
unsigned long va = (unsigned long)ptr;
+#ifdef CONFIG_DIRECTMAP
if ( va >= DIRECTMAP_VIRT_START )
return;
+#endif
ASSERT(va >= VMAP_VIRT_START && va < VMAP_VIRT_END);
unsigned long va = (unsigned long)ptr;
l1_pgentry_t l1e;
+#ifdef CONFIG_DIRECTMAP
if ( va >= DIRECTMAP_VIRT_START )
return _mfn(virt_to_mfn(ptr));
+#endif
if ( va >= VMAP_VIRT_START && va < VMAP_VIRT_END )
{