Searched refs:console_putchar (Results 1 – 2 of 2) sorted by relevance
39 int "console_putchar() buffer size"42 Buffer size for console_putchar(). The default is optimized
32 int console_putchar(char c) in console_putchar() function
Completed in 5 milliseconds