page_free         268 bsp/drv/dev/dma/i8237.c 	page_free(tmp, (size_t)(DMA_MAX + size));
page_free         123 bsp/drv/include/dki.h void	 page_free(paddr_t, psize_t);
page_free          79 bsp/hal/arm/arch/mmu.c 		page_free(pg, gap);
page_free          80 bsp/hal/arm/arch/mmu.c 	page_free((paddr_t)(pgd + L1TBL_SIZE), (size_t)(L1TBL_SIZE - gap));
page_free         221 bsp/hal/arm/arch/mmu.c 			page_free(((paddr_t)pte & PTE_ADDRESS),
page_free         225 bsp/hal/arm/arch/mmu.c 	page_free(kvtop(pgd), L1TBL_SIZE);
page_free         191 bsp/hal/x86/arch/mmu.c 			page_free((paddr_t)((paddr_t)pte & PTE_ADDRESS),
page_free         195 bsp/hal/x86/arch/mmu.c 	page_free(kvtop(pgd), PAGE_SIZE);
page_free          39 sys/include/page.h void	 page_free(paddr_t, psize_t);
page_free          81 sys/kern/device.c 	/*  7 */ DKIENT(page_free),
page_free         304 sys/mem/kmem.c 		page_free(kvtop(pg), PAGE_SIZE);
page_free         278 sys/mem/page.c 			page_free(ram->base, ram->size);
page_free         165 sys/mem/vm.c   	page_free(pa, size);
page_free         230 sys/mem/vm.c   		page_free(seg->phys, seg->size);
page_free         331 sys/mem/vm.c   			page_free(new_pa, seg->size);
page_free         501 sys/mem/vm.c   				page_free(seg->phys, seg->size);
page_free         724 sys/mem/vm.c   	page_free(mod->phys, mod->size);
page_free         201 sys/mem/vm_nommu.c 		page_free(seg->phys, seg->size);
page_free         403 sys/mem/vm_nommu.c 				page_free(seg->phys, seg->size);
page_free         633 sys/mem/vm_nommu.c      		page_free(pa, size);
page_free         677 sys/mem/vm_nommu.c      		page_free(pa, size);