tag	line	file	source code
kb_wait	89	kernel/chr_drv/keyboard.c	kb_wait();
kb_wait	1311	kernel/chr_drv/keyboard.c	kb_wait();
kb_wait	1380	kernel/chr_drv/keyboard.c	kb_wait();