taglinefilesource code
bare_num152drivers/char/keyboard.cSAK, decr_console, incr_console, spawn_console, bare_num;
bare_num159drivers/char/keyboard.cdecr_console,  incr_console,  spawn_console,  bare_num
bare_num666drivers/char/keyboard.cbare_num();