- for (size_t i = 0; i < size; i += PG_SIZE) {
- ptr_t paddr = vmm_del_mapping(VMS_SELF, vaddr + i);
- pmm_free_page(paddr);
- }
+ // 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)));
+ // }