- // FIXME
- fail("need fix");
-
- // 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))
- // return_page(ppage_pa(pte_paddr(pte)));
- // }
+ assert(vaddr >= VMAP && vaddr < VMAP_END);
+ vunmap_range(pfn(vaddr), leaf_count(size));