filesize           81 kern/syscall/loadelf.c 	     size_t memsize, size_t filesize,
filesize           88 kern/syscall/loadelf.c 	if (filesize > memsize) {
filesize           90 kern/syscall/loadelf.c 		filesize = memsize;
filesize           94 kern/syscall/loadelf.c 	      (unsigned long) filesize, (unsigned long) vaddr);
filesize          100 kern/syscall/loadelf.c 	u.uio_resid = filesize;          // amount to read from the file
filesize          135 kern/syscall/loadelf.c 		fillamt = memsize - filesize;