tag	line	file	source code
do_keyboard_interrupt	56	kernel/chr_drv/keyboard.c	extern void do_keyboard_interrupt(void);
do_keyboard_interrupt	692	kernel/chr_drv/keyboard.c	do_keyboard_interrupt();