taglinefilesource code
decr_console136drivers/char/keyboard.cSAK, decr_console, incr_console;
decr_console143drivers/char/keyboard.cdecr_console,  incr_console