psize              76 sys/mem/page.c page_alloc(psize_t psize)
psize              81 sys/mem/page.c 	ASSERT(psize != 0);
psize              88 sys/mem/page.c 	size = round_page(psize);
psize             129 sys/mem/page.c page_free(paddr_t paddr, psize_t psize)
psize             134 sys/mem/page.c 	ASSERT(psize != 0);
psize             138 sys/mem/page.c 	size = round_page(psize);
psize             182 sys/mem/page.c page_reserve(paddr_t paddr, psize_t psize)
psize             188 sys/mem/page.c 	if (psize == 0)
psize             192 sys/mem/page.c 	end = round_page((vaddr_t)ptokv(paddr + psize));