ttyprintf        2056 kern/tty.c     	ttyprintf(tp, "load: %d.%02d ", tmp / 100, tmp % 100);
ttyprintf        2059 kern/tty.c     		ttyprintf(tp, "not a controlling terminal\n");
ttyprintf        2061 kern/tty.c     		ttyprintf(tp, "no foreground process group\n");
ttyprintf        2063 kern/tty.c     		ttyprintf(tp, "empty foreground process group\n");
ttyprintf        2070 kern/tty.c     		ttyprintf(tp, " cmd: %s %d [%s] ", pick->p_comm, pick->p_pid,
ttyprintf        2083 kern/tty.c     		ttyprintf(tp, "%ld.%02ldu ", utime.tv_sec,
ttyprintf        2092 kern/tty.c     		ttyprintf(tp, "%ld.%02lds ", stime.tv_sec,
ttyprintf        2098 kern/tty.c     		ttyprintf(tp, "%d%% %ldk\n",
ttyprintf         167 sys/systm.h    void	ttyprintf(struct tty *, const char *, ...)