Searched refs:dev_console_filename (Results 1 – 1 of 1) sorted by relevance
83 static const char *dev_console_filename; variable2228 if (dev_console_filename == NULL) in ttyconsdev_open()2234 if (strcmp(dev_console_filename, tty_devname(tp)) == 0) { in ttyconsdev_open()2290 dev_console_filename = name; in ttyconsdev_select()