kbd_flush         338 arch/x86/boot/boot.h void kbd_flush(void);
kbd_flush         208 arch/x86/boot/video.c 	kbd_flush();