sz1                64 kernel/exec.c      uint64 sz1;
sz1                65 kernel/exec.c      if((sz1 = uvmalloc(pagetable, sz, ph.vaddr + ph.memsz, flags2perm(ph.flags))) == 0)
sz1                67 kernel/exec.c      sz = sz1;
sz1                82 kernel/exec.c    uint64 sz1;
sz1                83 kernel/exec.c    if((sz1 = uvmalloc(pagetable, sz, sz + (USERSTACK+1)*PGSIZE, PTE_W)) == 0)
sz1                85 kernel/exec.c    sz = sz1;