void platform_dputc(char c) { if (c == '\n') { _dputc('\r'); } _dputc(c); }
void platform_dputc(char c) { if (c == '\n') { _dputc('\r'); } UARTCharPut(DEBUG_UART, c); }
int _dputs(const char *str) { while(*str != 0) { _dputc(*str++); } return 0; }
void platform_dputc(char c) { if (c == '\n') { _dputc('\r'); } while (!uart_is_tx_ready(UART)) ; uart_write(UART, c); }
static int _dprintf_output_func(const char *str, size_t len, void *state) { size_t count = 0; while (count < len && *str) { _dputc(*str); str++; count++; } return count; }
static int __debug_stdio_fputc(void *ctx, int c) { _dputc(c); return 0; }