tag	line	file	source code
incr_console	135	drivers/char/keyboard.c	SAK, decr_console, incr_console, spawn_console;
incr_console	142	drivers/char/keyboard.c	decr_console,  incr_console,  spawn_console