p_memsz           174 kern/include/elf.h 	uint32_t	p_memsz;     /* Size of data to be loaded into memory*/
p_memsz           247 kern/syscall/loadelf.c 					  ph.p_vaddr, ph.p_memsz,
p_memsz           292 kern/syscall/loadelf.c 				      ph.p_memsz, ph.p_filesz,