memsz              32 kernel/elf.h     uint64 memsz;
memsz              65 kernel/exec.c      if (ph.memsz < ph.filesz)
memsz              67 kernel/exec.c      if (ph.vaddr + ph.memsz < ph.vaddr)
memsz              72 kernel/exec.c      if ((sz1 = uvmalloc(pagetable, sz, ph.vaddr + ph.memsz,