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

/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dkernel.h10 void cons_init(void);
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dkernel.h21 void cons_init(void);
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dboot.c40 cons_init();
H A Dcons.c42 cons_init(void) function
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dcons.c88 void cons_init(void) function
H A Dentry.c287 cons_init();

Completed in 100 milliseconds