void console_putc(int ch) { __asc_xmit_char((char)ch); }
void console_putc(int ch) { if (!boot_is_completed) return; __asc_xmit_char((char)ch, console_base()); }