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

/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c23 typedef void write_char_fn(void *payload, int c); typedef
26 static void write_string(write_char_fn write_char, void *payload, const char *str)
39 static void write_num(write_char_fn write_char, void *payload,
69 static void vxprintf(write_char_fn write_char, void *payload,

Completed in 30 milliseconds