Searched refs:register_console (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dplatsupport.h38 register_console(ps_chardevice_t* user_console);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dserial.c41 void register_console(struct ps_chardevice *user_console) function

Completed in 42 milliseconds