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

/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dconsole.h65 void minios_putc(int);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/
H A Dconsole.c146 void minios_putc(int c) function
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dkernel.c119 bmk_printf_init(minios_putc, NULL);

Completed in 86 milliseconds