arch_debug_serial_putchar
void arch_debug_serial_putchar(char c);
arch_debug_serial_putchar('\r');
arch_debug_serial_putchar('\n');
arch_debug_serial_putchar(ch);
arch_debug_serial_putchar('\r');
arch_debug_serial_putchar('\n');
arch_debug_serial_putchar(ch);
arch_debug_serial_putchar(*s);
arch_debug_serial_putchar(*s);
arch_debug_serial_putchar('\r');
arch_debug_serial_putchar('\n');
arch_debug_serial_putchar(ch);
arch_debug_serial_putchar(*s);
arch_debug_serial_putchar(c);
arch_debug_serial_putchar('+');
arch_debug_serial_putchar('-');