taglinefilesource code
send_intr134drivers/char/keyboard.cstatic void_fn do_null, enter, show_ptregs, send_intr, lastcons, caps_toggle,
send_intr140drivers/char/keyboard.cshow_state,  send_intr,  lastcons,  caps_toggle,