addr               66 kern/arch/mips/vm/dumbvm.c 	paddr_t addr;
addr               70 kern/arch/mips/vm/dumbvm.c 	addr = ram_stealmem(npages);
addr               73 kern/arch/mips/vm/dumbvm.c 	return addr;
addr               89 kern/arch/mips/vm/dumbvm.c free_kpages(vaddr_t addr)
addr               93 kern/arch/mips/vm/dumbvm.c 	(void)addr;
addr               56 kern/include/vm.h void free_kpages(vaddr_t addr);