Searched refs:console_dev (Results 1 – 1 of 1) sorted by relevance
53 static char *console_dev = NULL; variable206 console_dev = "console=com1"; in console_metal_to_hyper()208 console_dev = "console=com2"; in console_metal_to_hyper()210 console_dev = "console=vga"; in console_metal_to_hyper()422 console_dev = "ttya"; in cvt_hyper_option()424 console_dev = "ttyb"; in cvt_hyper_option()426 console_dev = "text"; in cvt_hyper_option()900 if (console_dev != NULL) { in cvt_to_hyper()901 kern_bargs = s_strdup(console_dev); in cvt_to_hyper()1179 newstr = append_str(kernel, console_dev, ""); in cvt_to_metal()[all …]