EFX_MON_NSTATS
uint32_t enc_mon_stat_mask[(EFX_MON_NSTATS + 31) / 32];
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_value_t *values);
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_limits_t *values);
EFSYS_ASSERT3U(id, <, EFX_MON_NSTATS);
EFSYS_ASSERT3U(id, <, EFX_MON_NSTATS);
*statp = EFX_MON_NSTATS;
*statp = EFX_MON_NSTATS;
if (*statp == EFX_MON_NSTATS)
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_value_t *values)
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_limits_t *values)
EFSYS_ASSERT(id < EFX_MON_NSTATS);
EFSYS_ASSERT(id < EFX_MON_NSTATS);
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_value_t *values)
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_limits_t *values)
__inout_ecount_opt(EFX_MON_NSTATS) efx_mon_stat_value_t *stat)
uint32_t stat_mask[(EFX_MON_NSTATS + 31) / 32];
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_value_t *values);
__inout_ecount(EFX_MON_NSTATS) efx_mon_stat_limits_t *values);