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

/seL4-test-master/kernel/src/machine/
H A Dio.c24 typedef void (*out_fn)(char character, char *buf, word_t idx); typedef
28 * a out_fn handle and a buf to work on
31 out_fn putchar;

Completed in 24 milliseconds