+ // 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));
+
+ return (void*)vmap_range(start, npages, KERNEL_DATA);