wpid               17 user/init.c      int pid, wpid;
wpid               42 user/init.c          wpid = wait((int *)0);
wpid               43 user/init.c          if (wpid == pid) {
wpid               46 user/init.c          } else if (wpid < 0) {