seen_hilkbd_console  131 dev/hil/hilkbd.c int	seen_hilkbd_console;
seen_hilkbd_console  243 dev/hil/hilkbd.c 		seen_hilkbd_console = 0;
seen_hilkbd_console  474 dev/hil/hilkbd.c 	if (seen_hilkbd_console)
seen_hilkbd_console  481 dev/hil/hilkbd.c 	seen_hilkbd_console = 1;