Searched refs:vcons_flush (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/ | ||
H A D | cons.c | 49 static void (*vcons_flush)(void) = NULL; variable 98 vcons_flush = cons_flush; 103 bmk_printf_init(vcons_putc, vcons_flush); |
Completed in 36 milliseconds