vaddr              29 kernel/elf.h     uint64 vaddr;
vaddr              66 kernel/exec.c      if(ph.vaddr + ph.memsz < ph.vaddr)
vaddr              68 kernel/exec.c      if(ph.vaddr % PGSIZE != 0)
vaddr              71 kernel/exec.c      if((sz1 = uvmalloc(pagetable, sz, ph.vaddr + ph.memsz, flags2perm(ph.flags))) == 0)
vaddr              74 kernel/exec.c      if(loadseg(pagetable, ph.vaddr, ip, ph.off, ph.filesz) < 0)