kbd_flush         291 arch/x86/boot/boot.h void kbd_flush(void);
kbd_flush         203 arch/x86/boot/video.c 	kbd_flush();