tag	line	file	source code
INTR_CHAR	457	drivers/char/keyboard.c	put_queue(INTR_CHAR(tty));
INTR_CHAR	665	drivers/char/tty_io.c	if (c == INTR_CHAR(tty)) {