Searched refs:uart_console_putchar (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/machine/
A D	io.c	14 uart_console_putchar(c); in kernel_putDebugChar()
/seL4-master/include/drivers/
A D	uart.h	13 static inline void uart_console_putchar( in uart_console_putchar() function
/seL4-master/src/plat/pc99/machine/
A D	io.c	47 uart_console_putchar(c); in kernel_putDebugChar()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023