restartoutput     389 kern/tty.c     				goto restartoutput;
restartoutput     580 kern/tty.c     restartoutput: