tp_arg           1286 kern/tty.c     ttrstrt(void *tp_arg)
tp_arg           1292 kern/tty.c     	if (tp_arg == NULL)
tp_arg           1295 kern/tty.c     	tp = tp_arg;