read_aux_data_no_wait
c = read_aux_data_no_wait(p);
c = read_aux_data_no_wait(p); /* RESET_DONE/RESET_FAIL */
int read_aux_data_no_wait(KBDC kbdc);
read_aux_data_no_wait(sc->kbdc); /* throw away data if any */
while((c = read_aux_data_no_wait(sc->kbdc)) != -1) {