taglinefilesource code
puts_queue606drivers/char/keyboard.cputs_queue(buf);
puts_queue859drivers/char/keyboard.cputs_queue(func_table[value]);