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