tag	line	file	source code
is_console	842	kernel/chr_drv/tty_io.c	int dev, i, is_console;
is_console	846	kernel/chr_drv/tty_io.c	is_console = (inode->i_rdev == 0x0400);
is_console	852	kernel/chr_drv/tty_io.c	if (is_console && redirect)
is_console	858	kernel/chr_drv/tty_io.c	if (!is_console && L_TOSTOP(tty) && (tty->pgrp > 0) &&