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