GCC_ECLIPSE_WRITE_ITM

int _write(int file, char *ptr, int len) { int i=0; (void)file; for(i=0 ; i<len ; i++) { ITM_SendChar((uint32_t)(*ptr++)); } return len; }