vaddr              29 kernel/elf.h     uint64 vaddr;
vaddr              67 kernel/exec.c      if (ph.vaddr + ph.memsz < ph.vaddr)
vaddr              69 kernel/exec.c      if (ph.vaddr % PGSIZE != 0)
vaddr              72 kernel/exec.c      if ((sz1 = uvmalloc(pagetable, sz, ph.vaddr + ph.memsz,
vaddr              76 kernel/exec.c      if (loadseg(pagetable, ph.vaddr, ip, ph.off, ph.filesz) < 0)