console_shutdown  375 src/cons.handler.c         console_shutdown ();
console_shutdown  382 src/cons.handler.c         console_shutdown ();
console_shutdown  388 src/cons.handler.c         console_shutdown ();
console_shutdown  394 src/cons.handler.c         console_shutdown ();
console_shutdown  445 src/cons.handler.c         console_shutdown ();