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

/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c69 static void vxprintf(write_char_fn write_char, void *payload, function
211 vxprintf(arch_write_char, &n, format, args);
245 vxprintf(sprintf_write_char, &p, format, args);

Completed in 30 milliseconds