413 int getc(void)  in getc()  argument
439 int tstc(void)  in tstc()  argument
461 void flushc(void)  in flushc()  argument
604 int console_record_init(void)  in console_record_init()  argument
618 void console_record_reset(void)  in console_record_reset()  argument
624 void console_record_reset_enable(void)  in console_record_reset_enable()  argument
631 void console_record_print_purge(void)  in console_record_print_purge()  argument
656 int ctrlc(void)  in ctrlc()  argument
677 int confirm_yesno(void)  in confirm_yesno()  argument
712 int had_ctrlc (void)  in had_ctrlc()  argument
717 void clear_ctrlc(void)  in clear_ctrlc()  argument
768 static void console_update_silent(void)  in console_update_silent()  argument
780 int console_announce_r(void)  in console_announce_r()  argument
794 int console_init_f(void)  in console_init_f()  argument
805 void stdio_print_current_devices(void)  in stdio_print_current_devices()  argument
832 int console_init_r(void)  in console_init_r()  argument
926 int console_init_r(void)  in console_init_r()  argument