TX_NQSTATS
__inout_ecount(TX_NQSTATS) efsys_stat_t *stat);
__inout_ecount(TX_NQSTATS) efsys_stat_t *stat)
for (id = 0; id < TX_NQSTATS; id++) {
__inout_ecount(TX_NQSTATS) efsys_stat_t *stat);
uint32_t et_stat[TX_NQSTATS];
EFSYS_ASSERT3U(id, <, TX_NQSTATS);
__inout_ecount(TX_NQSTATS) efsys_stat_t *stat)
for (id = 0; id < TX_NQSTATS; id++) {
__inout_ecount(TX_NQSTATS) efsys_stat_t *stat);
__inout_ecount(TX_NQSTATS) efsys_stat_t *stat)
knp = (kstat_named_t *)ksp->ks_data + TX_NQSTATS;
TX_NQSTATS + 4, 0)) == NULL) {
for (id = 0; id < TX_NQSTATS; id++) {