taglinefilesource code
dead_key_next112drivers/char/keyboard.cstatic int dead_key_next = 0;
dead_key_next738drivers/char/keyboard.cdead_key_next = 1;
dead_key_next799drivers/char/keyboard.cif (dead_key_next) {
dead_key_next800drivers/char/keyboard.cdead_key_next = 0;