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

/seL4-test-master/kernel/src/machine/
H A Dio.c41 static void putchar_wrap(out_wrap_t *out, char c) function
200 putchar_wrap(f, s[i]);

Completed in 77 milliseconds