- void* ptr = vmm_vmap(paddr, size, PG_PREM_RW | PG_DISABLE_CACHE);
- if (ptr) {
- pmm_mark_chunk_occupied(KERNEL_PID,
- paddr >> PG_SIZE_BITS,
- CEIL(size, PG_SIZE_BITS),
- PP_FGLOCKED);
- }
- return ptr;
+ // 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);