tag	line	file	source code
kb_wait	140	drivers/char/keyboard.c	kb_wait();
kb_wait	206	drivers/char/keyboard.c	kb_wait();
kb_wait	770	drivers/char/keyboard.c	kb_wait();
kb_wait	842	drivers/char/keyboard.c	kb_wait();