signed portBASE_TYPE uart0PutString (const signed portCHAR * const pcString, portTickType xBlockTime) { signed portCHAR *pxNext; pxNext = (signed portCHAR *) pcString; while (*pxNext) { if (!uart0PutChar (*pxNext, xBlockTime)) return pdTRUE; pxNext++; } return pdTRUE; }
static int uart0PutCharStd(char c, FILE *stream) { uart0PutChar(c); return 0; }