page_reserve      274 bsp/drv/dev/dma/i8237.c 	page_reserve(base, size);
page_reserve      124 bsp/drv/include/dki.h void	 page_reserve(paddr_t, psize_t);
page_reserve      174 bsp/hal/arm/integrator/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
page_reserve      152 bsp/hal/ppc/prep/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
page_reserve      157 bsp/hal/x86/pc/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
page_reserve       40 sys/include/page.h int	 page_reserve(paddr_t, psize_t);
page_reserve       82 sys/kern/device.c 	/*  8 */ DKIENT(page_reserve),
page_reserve      295 sys/mem/page.c 			if (page_reserve(ram->base, ram->size))
page_reserve      673 sys/mem/vm_nommu.c 	if (page_reserve(pa, size) != 0)