retptr            404 kern/vm/kmalloc.c 	void *retptr;		// our result
retptr            431 kern/vm/kmalloc.c 			retptr = fl;
retptr            449 kern/vm/kmalloc.c 			return retptr;