- return vmm_vmap(paddr, size, PG_PREM_RW, PP_FGPERSIST);
+ // FIXME implement a page policy interface allow to decouple the
+ // arch-dependent caching behaviour
+
+ pfn_t start = pfn(paddr);
+ size_t npages = leaf_count(size);
+
+ // Ensure the range is reservable (not already in use)
+ assert(pmm_onhold_range(start, npages));
+
+ ptr_t addr = vmap_range(start, npages, KERNEL_DATA);
+ return addr + va_offset(paddr);