Searched refs:dev_console_filename (Results 1 – 1 of 1) sorted by relevance
85 static const char *dev_console_filename; variable2180 if (dev_console_filename == NULL) in ttyconsdev_open()2186 if (strcmp(dev_console_filename, tty_devname(tp)) == 0) { in ttyconsdev_open()2242 dev_console_filename = name; in ttyconsdev_select()