EV_NQSTATS
__inout_ecount(EV_NQSTATS) efsys_stat_t *stat)
for (id = 0; id < EV_NQSTATS; id++) {
__inout_ecount(EV_NQSTATS) efsys_stat_t *stat);
__inout_ecount(EV_NQSTATS) efsys_stat_t *stat);
__inout_ecount(EV_NQSTATS) efsys_stat_t *stat);
EFSYS_ASSERT3U(id, <, EV_NQSTATS);
__inout_ecount(EV_NQSTATS) efsys_stat_t *stat)
for (id = 0; id < EV_NQSTATS; id++) {
__inout_ecount(EV_NQSTATS) efsys_stat_t *stat)
uint32_t ee_stat[EV_NQSTATS];
knp += EV_NQSTATS;
EV_NQSTATS + 1, 0)) == NULL) {
for (id = 0; id < EV_NQSTATS; id++) {