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