taglinefilesource code
kb_wait96arch/i386/kernel/process.cstatic inline void kb_wait(void)
kb_wait178drivers/char/keyboard.cstatic inline void kb_wait(void)