filesz             31 kernel/elf.h     uint64 filesz;
filesz             58 kernel/exec.c      if(ph.memsz < ph.filesz)
filesz             68 kernel/exec.c      if(loadseg(pagetable, ph.vaddr, ip, ph.off, ph.filesz) < 0)