IGC_DRIVER_COUNTERS
IGC_DRIVER_COUNTERS * sizeof(q->igcq_driver_counters[0]));
for (int cnt = 0; cnt < IGC_DRIVER_COUNTERS; cnt++)
IGC_DRIVER_COUNTERS * sizeof(sc->sc_driver_evcnts[0]));
uint64_t sum[IGC_DRIVER_COUNTERS];
for (int cnt = 0; cnt < IGC_DRIVER_COUNTERS; cnt++) {
for (int cnt = 0; cnt < IGC_DRIVER_COUNTERS; cnt++)
for (int cnt = 0; cnt < IGC_DRIVER_COUNTERS; cnt++)
for (int cnt = 0; cnt < IGC_DRIVER_COUNTERS; cnt++)
IGC_DRIVER_COUNTERS * sizeof(sc->sc_driver_evcnts[0]), KM_SLEEP);
for (int cnt = 0; cnt < IGC_DRIVER_COUNTERS; cnt++) {
IGC_DRIVER_COUNTERS * sizeof(q->igcq_driver_counters[0]),
CTASSERT(IGC_DRIVER_COUNTERS == igcde_count);