bad                44 kernel/exec.c      goto bad;
bad                47 kernel/exec.c      goto bad;
bad                50 kernel/exec.c      goto bad;
bad                55 kernel/exec.c        goto bad;
bad                59 kernel/exec.c        goto bad;
bad                61 kernel/exec.c        goto bad;
bad                63 kernel/exec.c        goto bad;
bad                66 kernel/exec.c        goto bad;
bad                69 kernel/exec.c        goto bad;
bad                84 kernel/exec.c      goto bad;
bad                93 kernel/exec.c        goto bad;
bad                97 kernel/exec.c        goto bad;
bad                99 kernel/exec.c        goto bad;
bad               108 kernel/exec.c      goto bad;
bad               110 kernel/exec.c      goto bad;
bad               133 kernel/exec.c   bad:
bad                30 kernel/pipe.c      goto bad;
bad                32 kernel/pipe.c      goto bad;
bad                48 kernel/pipe.c   bad:
bad               150 kernel/sysfile.c     goto bad;
bad               154 kernel/sysfile.c     goto bad;
bad               163 kernel/sysfile.c bad:
bad               209 kernel/sysfile.c     goto bad;
bad               212 kernel/sysfile.c     goto bad;
bad               219 kernel/sysfile.c     goto bad;
bad               239 kernel/sysfile.c bad:
bad               448 kernel/sysfile.c       goto bad;
bad               451 kernel/sysfile.c       goto bad;
bad               459 kernel/sysfile.c       goto bad;
bad               461 kernel/sysfile.c       goto bad;
bad               471 kernel/sysfile.c  bad: