Searched refs:out_fn (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/machine/ | ||
H A D | io.c | 24 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