tag	line	file	source code
diacr	115	drivers/char/keyboard.c	static int diacr = -1;
diacr	471	drivers/char/keyboard.c	if (diacr == value) {  /* pressed twice */
diacr	472	drivers/char/keyboard.c	diacr = -1;
diacr	476	drivers/char/keyboard.c	diacr = value;
diacr	501	drivers/char/keyboard.c	int d = diacr, e;
diacr	503	drivers/char/keyboard.c	if (diacr == -1)
diacr	506	drivers/char/keyboard.c	diacr = -1;