tag	line	file	source code
TTY_DRIVER_TYPE_CONSOLE	1448	drivers/char/console.c	console_driver.type = TTY_DRIVER_TYPE_CONSOLE;
TTY_DRIVER_TYPE_CONSOLE	1265	drivers/char/tty_io.c	if (tty->driver.type == TTY_DRIVER_TYPE_CONSOLE) {