cfe_write
cfe_write(handle, msg, strlen(msg));
int cfe_write(int handle, const char *buffer, int length);
while ((ret = cfe_write(cfe_cons_handle, &c, 1)) == 0)
written = cfe_write(cfe_cons_handle, &str[last], i-last);
while (cfe_write(cfe_cons_handle, "\r", 1) <= 0)
written = cfe_write(cfe_cons_handle, &str[last], count-last);