tag	line	file	source code
INTR_CHAR	527	kernel/chr_drv/tty_io.c	if ((INTR_CHAR(tty) != __DISABLED_CHAR) &&
INTR_CHAR	528	kernel/chr_drv/tty_io.c	(c==INTR_CHAR(tty))) {