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