read_aux_data
c = read_aux_data(p); /* device ID */
int read_aux_data(KBDC kbdc);
vendor = read_aux_data(kbdc);
firmware = read_aux_data(kbdc);
status[i] = read_aux_data(kbdc);
id = read_aux_data(kbdc);