console_shutdown  371 src/cons.handler.c         console_shutdown ();
console_shutdown  378 src/cons.handler.c         console_shutdown ();
console_shutdown  384 src/cons.handler.c         console_shutdown ();
console_shutdown  390 src/cons.handler.c         console_shutdown ();
console_shutdown  443 src/cons.handler.c         console_shutdown ();