tag	line	file	source code
incr_console	136	drivers/char/keyboard.c	SAK, decr_console, incr_console;
incr_console	143	drivers/char/keyboard.c	decr_console,  incr_console