tag	line	file	source code
bare_num	152	drivers/char/keyboard.c	SAK, decr_console, incr_console, spawn_console, bare_num;
bare_num	159	drivers/char/keyboard.c	decr_console,  incr_console,  spawn_console,  bare_num
bare_num	666	drivers/char/keyboard.c	bare_num();