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 ();