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