Searched refs:write_num (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/src/ |
| H A D | printf.c | 39 static void write_num(write_char_fn write_char, void *payload, function
125 write_num(write_char, payload, 16, p);
132 write_num(write_char, payload, 16, d);
140 write_num(write_char, payload, 10, d);
156 write_num(write_char, payload, 10, ul);
161 write_num(write_char, payload, 16, ul);
|
Completed in 21 milliseconds