sz1                70 kernel/exec.c      uint64 sz1;
sz1                71 kernel/exec.c      if((sz1 = uvmalloc(pagetable, sz, ph.vaddr + ph.memsz, flags2perm(ph.flags))) == 0)
sz1                73 kernel/exec.c      sz = sz1;
sz1                88 kernel/exec.c    uint64 sz1;
sz1                89 kernel/exec.c    if((sz1 = uvmalloc(pagetable, sz, sz + (USERSTACK+1)*PGSIZE, PTE_W)) == 0)
sz1                91 kernel/exec.c    sz = sz1;