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