bootmem_region_zap(bad_spfn, bad_epfn+1);
}
+#ifndef DIRECTMAP
+ destroy_xen_mappings((unsigned long)__va(ps), (unsigned long)__va(pe));
+#endif
}
mfn_t __init alloc_boot_pages(unsigned long nr_pfns, unsigned long pfn_align)
memguard_guard_range(maddr_to_virt(ps), pe - ps);
init_heap_pages(maddr_to_page(ps), (pe - ps) >> PAGE_SHIFT);
+#ifndef DIRECTMAP
+ destroy_xen_mappings((unsigned long)__va(ps), (unsigned long)__va(pe));
+#endif
}
return;
init_heap_pages(mfn_to_page(smfn), mfn_x(emfn) - mfn_x(smfn));
+#ifndef DIRECTMAP
+ destroy_xen_mappings((unsigned long)__va(ps), (unsigned long)__va(pe));
+#endif
}