Searched refs:num_chars_printed (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c185 int *num_chars_printed = (int *)num_chars_printed_ptr; local
193 /* TODO: There is no "(*num_chars_printed)++;" here, as the CR char has
202 (*num_chars_printed)++;

Completed in 24 milliseconds