flush_deferred_console_buf
flush_deferred_console_buf();
static void flush_deferred_console_buf(void);