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)