void console_flush(void) { __asc_flush(); }
void console_flush(void) { if (!boot_is_completed) return; __asc_flush(console_base()); }