tag	line	file	source code
do_keyboard_interrupt	62	drivers/char/keyboard.c	extern void do_keyboard_interrupt(void);
do_keyboard_interrupt	842	drivers/char/keyboard.c	do_keyboard_interrupt();