Searched refs:dev_idx (Results 1 – 1 of 1) sorted by relevance
1194 for (int dev_idx = 0; dev_idx < KSANCOV_MAX_DEV; dev_idx++) { in ksancov_testcases_serial_log() local1195 ksancov_dev_t dev = ksancov_devs[dev_idx]; in ksancov_testcases_serial_log()1216 …ksancov_serial_print("Device %d head %d inner_index %lu attached %d\n", dev_idx, dev->testcases->h… in ksancov_testcases_serial_log()