Searched refs:pmm_free_page (Results 1 – 6 of 6) sorted by relevance
119 size_t c = pmm_free_page(p); in context_switch()
453 pmm_free_page(paddr_to_vm_page(X86_PHYS_TO_VIRT(pd_new))); in x86_mmu_add_mapping()457 pmm_free_page(paddr_to_vm_page(X86_PHYS_TO_VIRT(pml4e))); in x86_mmu_add_mapping()531 pmm_free_page(paddr_to_vm_page(X86_VIRT_TO_PHYS(next_table_addr))); in x86_mmu_unmap_entry()
151 size_t pmm_free_page(vm_page_t *page) __NONNULL((1));
432 pmm_free_page(page); in put_l2_table()717 pmm_free_page(p); in arch_mmu_destroy_aspace()
232 pmm_free_page(page); in free_page_table()608 pmm_free_page(page); in arch_mmu_destroy_aspace()
231 size_t pmm_free_page(vm_page_t *page) { in pmm_free_page() function
Completed in 10 milliseconds