Searched refs:kernel_out_fn (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/machine/ | ||
H A D | io.c | 554 static void kernel_out_fn(char c, char *buf, word_t idx) function 592 out_wrap_t out = { kernel_out_fn, NULL, 0, -1 }; |
Completed in 72 milliseconds