tag	line	file	source code
INTR_CHAR	269	kernel/chr_drv/keyboard.c	put_queue(INTR_CHAR(tty));
INTR_CHAR	632	kernel/chr_drv/tty_io.c	if (c == INTR_CHAR(tty)) {