check_console     134 kern/init_main.c void	check_console(struct proc *);
check_console     594 kern/init_main.c 	check_console(p);