iounmap(uintptr_t vaddr, u32_t size)
{
for (size_t i = 0; i < size; i += PG_SIZE) {
iounmap(uintptr_t vaddr, u32_t size)
{
for (size_t i = 0; i < size; i += PG_SIZE) {
pmm_free_page(KERNEL_PID, paddr);
}
}
\ No newline at end of file
pmm_free_page(KERNEL_PID, paddr);
}
}
\ No newline at end of file