console_shutdown  374 src/cons.handler.c         console_shutdown ();
console_shutdown  381 src/cons.handler.c         console_shutdown ();
console_shutdown  387 src/cons.handler.c         console_shutdown ();
console_shutdown  393 src/cons.handler.c         console_shutdown ();
console_shutdown  446 src/cons.handler.c         console_shutdown ();