Symbol: kbd_flush
arch/x86/boot/boot.h
314
void kbd_flush(void);
arch/x86/boot/video.c
208
kbd_flush();