Searched refs:console_getchar (Results 1 – 2 of 2) sorted by relevance
30 int "console_getchar() buffer size"33 Buffer size for console_getchar(). The default is optimized
37 int console_getchar(void) in console_getchar() function
Completed in 3 milliseconds