page_alloc        263 bsp/drv/dev/dma/i8237.c 	tmp = page_alloc((size_t)(DMA_MAX + size));
page_alloc        122 bsp/drv/include/dki.h paddr_t	 page_alloc(psize_t);
page_alloc         70 bsp/hal/arm/arch/mmu.c 	if ((pg = page_alloc(L1TBL_SIZE * 2)) == 0)
page_alloc        157 bsp/hal/arm/arch/mmu.c 			if ((pg = page_alloc(L2TBL_SIZE)) == 0) {
page_alloc        129 bsp/hal/x86/arch/mmu.c 			if ((pg = page_alloc(PAGE_SIZE)) == 0) {
page_alloc        165 bsp/hal/x86/arch/mmu.c 	if ((pg = page_alloc(PAGE_SIZE)) == 0)
page_alloc         38 sys/include/page.h paddr_t	 page_alloc(psize_t);
page_alloc         80 sys/kern/device.c 	/*  6 */ DKIENT(page_alloc),
page_alloc        206 sys/mem/kmem.c 		if ((pa = page_alloc(PAGE_SIZE)) == 0) {
page_alloc        150 sys/mem/vm.c   	if ((pa = page_alloc(size)) == 0)
page_alloc        322 sys/mem/vm.c   		if ((new_pa = page_alloc(seg->size)) == 0)
page_alloc        603 sys/mem/vm.c   				dest->phys = page_alloc(src->size);
page_alloc        629 sys/mem/vm_nommu.c 	if ((pa = page_alloc(size)) == 0)