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

/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86/
H A Dcons.h1 void serialcons_init(uint16_t, int);
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dcons.c64 serialcons_init(bios_com1_base, 115200);
H A Dserialcons.c36 serialcons_init(uint16_t combase_init, int speed) function

Completed in 93 milliseconds