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

/barrelfish-2018-10-04/kernel/include/
H A Dserial.h59 static inline char serial_console_getchar(void) function
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dsyscall.c1330 r.value = serial_console_getchar();

Completed in 40 milliseconds