Searched refs:kbd_buffer_empty (Results 1 – 1 of 1) sorted by relevance
503 kbd_buffer_empty (void) in kbd_buffer_empty() function593 while (kbd_buffer_empty ()) in keyboard_read()685 if (!kbd_buffer_empty ()) in kill()