#include <lunaix/spike.h>
void*
-ioremap(uintptr_t paddr, uint32_t size)
+ioremap(ptr_t paddr, u32_t size)
{
- void* ptr = vmm_vmap(paddr, size, PG_PREM_RW | PG_DISABLE_CACHE);
+ // FIXME implement a page policy interface allow to decouple the
+ // arch-dependent caching behaviour
+ void* ptr = (void*)vmap(paddr, size, KERNEL_DATA);
+
if (ptr) {
- pmm_mark_chunk_occupied(KERNEL_PID,
- paddr >> PG_SIZE_BITS,
- CEIL(size, PG_SIZE_BITS),
- PP_FGLOCKED);
+ pmm_mark_chunk_occupied(pfn(paddr), leaf_count(size), PP_FGLOCKED);
}
+
return ptr;
}
-void*
-iounmap(uintptr_t vaddr, uint32_t size)
+void
+iounmap(ptr_t vaddr, u32_t size)
{
- for (size_t i = 0; i < size; i += PG_SIZE) {
- uintptr_t paddr = vmm_del_mapping(PD_REFERENCED, vaddr + i);
- pmm_free_page(KERNEL_PID, paddr);
+ 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));
}
}
\ No newline at end of file