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