Searched refs:serial_putchar (Results 1 - 10 of 10) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Dserial.h37 extern void serial_putchar(unsigned port, char c);
54 serial_putchar(serial_console_port, '\r');
56 serial_putchar(serial_console_port, c);
79 serial_putchar(serial_debug_port, '\r');
81 serial_putchar(serial_debug_port, c);
/barrelfish-2018-10-04/tools/molly/
H A Dmolly_init.c43 static void serial_putchar(char c) function
51 serial_putchar(c);
63 serial_putchar(hexdigits[idx]);
75 serial_putchar(hexdigits[idx]);
86 serial_putchar(hexdigits[idx]);
/barrelfish-2018-10-04/kernel/arch/arm/
H A Dzynq_uart.c81 serial_putchar(unsigned port, char c) { function
H A Dpl011.c138 void serial_putchar(unsigned port, char c) function
H A Domap_uart.c185 void serial_putchar(unsigned port, char c) function
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dserial.c69 void serial_putchar(unsigned port, char c) { function
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dserial.c117 void serial_putchar(unsigned port, char c) function
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dplat_apm88xxxx.c83 void serial_putchar(unsigned port, char c) function
/barrelfish-2018-10-04/usr/drivers/serial/
H A Dserial_omap44xx.c248 static void serial_putchar(char c) function
260 serial_putchar(c[i]);
/barrelfish-2018-10-04/doc/016-serial-ports/
H A DSerial.tex189 void serial_putchar(unsigned port, char c);

Completed in 100 milliseconds