empty_aux_buffer
void empty_aux_buffer(KBDC kbdc, int t);
empty_aux_buffer(sc->kbdc, 10);
empty_aux_buffer(sc->kbdc, 10);
empty_aux_buffer(sc->kbdc, 10);
empty_aux_buffer(sc->kbdc, 0); /* flush the queue */
empty_aux_buffer(sc->kbdc, 0);
empty_aux_buffer(kbdc, 5);
empty_aux_buffer(kbdc, 5);
empty_aux_buffer(kbdc, 5);