Searched refs:dev_console_filename (Results 1 – 1 of 1) sorted by relevance
81 static const char *dev_console_filename; variable1984 if (dev_console_filename == NULL) in ttyconsdev_open()1990 if (strcmp(dev_console_filename, tty_devname(tp)) == 0) { in ttyconsdev_open()2046 dev_console_filename = name; in ttyconsdev_select()