- pte_t* ptep = mkptep_va(VMS_SELF, vaddr);
- for (size_t i = 0; i < size; i += PAGE_SIZE, ptep++) {
- pte_t pte = pte_at(ptep);
-
- set_pte(ptep, null_pte);
- if (pte_isloaded(pte))
- pmm_free_page(pte_paddr(pte));
- }
+ assert(vaddr >= VMAP && vaddr < VMAP_END);
+ vunmap_range(pfn(vaddr), leaf_count(size));