tag	line	file	source code
void_fn	139	drivers/char/keyboard.c	typedef void (void_fn)(void);
void_fn	141	drivers/char/keyboard.c	static void_fn do_null, enter, show_ptregs, send_intr, lastcons, caps_toggle,