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