tag	line	file	source code
dead_key_next	83	drivers/char/keyboard.c	static int dead_key_next = 0;
dead_key_next	484	drivers/char/keyboard.c	dead_key_next = 1;
dead_key_next	519	drivers/char/keyboard.c	if (dead_key_next) {
dead_key_next	520	drivers/char/keyboard.c	dead_key_next = 0;