Searched refs:dev_console_filename (Results 1 – 1 of 1) sorted by relevance
84 static const char *dev_console_filename; variable2213 if (dev_console_filename == NULL) in ttyconsdev_open()2219 if (strcmp(dev_console_filename, tty_devname(tp)) == 0) { in ttyconsdev_open()2275 dev_console_filename = name; in ttyconsdev_select()