tag	line	file	source code
kb_wait	73	kernel/chr_drv/keyboard.c	static void kb_wait(void), kb_ack(void);
kb_wait	249	kernel/chr_drv/keyboard.c	kb_wait();
kb_wait	252	kernel/chr_drv/keyboard.c	kb_wait();
kb_wait	1269	kernel/chr_drv/keyboard.c	kb_wait();