console_shutdown  359 src/cons.handler.c         console_shutdown ();
console_shutdown  366 src/cons.handler.c         console_shutdown ();
console_shutdown  372 src/cons.handler.c         console_shutdown ();
console_shutdown  378 src/cons.handler.c         console_shutdown ();
console_shutdown  431 src/cons.handler.c         console_shutdown ();