Searched refs:console_names (Results 1 – 2 of 2) sorted by relevance
30 char *console_names = "pv, serial, vuart"; in main_console() local41 fprintf(stderr, "console type supported are: %s\n", console_names); in main_console()
348 char *console_names = "serial, pv, vuart"; in main() local369 console_names); in main()
Completed in 4 milliseconds