Searched defs:write_char (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c26 static void write_string(write_char_fn write_char, void *payload, const char *str) argument
39 static void write_num(write_char_fn write_char, void *payload, argument
69 static void vxprintf(write_char_fn write_char, voi argument
[all...]

Completed in 32 milliseconds