taglinefilesource code
void_fn148drivers/char/keyboard.ctypedef void (void_fn)(void);
void_fn150drivers/char/keyboard.cstatic void_fn do_null, enter, show_ptregs, send_intr, lastcons, caps_toggle,