Searched refs:write_char (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/src/ |
| H A D | printf.c | 21 * to arbitrary state needed by the "write_char" function.
25 /* Write a NUL-terminated string to the given 'write_char' function. */
26 static void write_string(write_char_fn write_char, void *payload, const char *str) argument
30 write_char(payload, str[i]);
35 * Write the given unsigned number "n" to the given write_char function.
39 static void write_num(write_char_fn write_char, void *payload, argument
48 write_string(write_char, payload, "0");
63 write_string(write_char, payload, &buff[k + 1]);
67 * Print a printf-style string to the given write_char function.
69 static void vxprintf(write_char_fn write_char, voi argument
[all...] |
Completed in 26 milliseconds