Searched refs:num_chars_printed_ptr (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/src/ | ||
| H A D | printf.c | 183 static void arch_write_char(void *num_chars_printed_ptr, int c) argument 185 int *num_chars_printed = (int *)num_chars_printed_ptr; |
Completed in 24 milliseconds