Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-stats.c dm_stats_clear() -> __dm_stat_clear()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->id 0-s32max
PARAM_VALUE 1 idx_start 0
PARAM_VALUE 3 init_tmp_percpu_totals 1
CAPPED_DATA 0 s->id 1
DATA_SOURCE 0 s r __dm_stats_find
NOCHECK_CALL
UNITS 2 idx_end unit_byte
LOCK2 &stats->mutex
TYPE_LOCK (struct dm_stats)->mutex

drivers/md/dm-stats.c dm_stats_print() -> __dm_stat_clear()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->id 0-s32max
PARAM_VALUE 3 init_tmp_percpu_totals 0
CAPPED_DATA 0 s->id 1
CAPPED_DATA 1 idx_start 1
CAPPED_DATA 1 idx_start 1
CAPPED_DATA 2 idx_end 1
CAPPED_DATA 2 idx_end 1
DATA_SOURCE 0 s r __dm_stats_find
DATA_SOURCE 1 idx_start $2 [m]
PARAM_COMPARE 1 idx_start <= $0->n_entries
PARAM_COMPARE 1 idx_start <= $0->n_entries
PARAM_COMPARE 1 idx_start <= $2
PARAM_COMPARE 2 idx_end <= $0->n_entries
PARAM_COMPARE 2 idx_end <= $0->n_entries
PARAM_COMPARE 2 idx_end >= $1
PARAM_COMPARE 2 idx_end >= $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 idx_start
UNITS 1 idx_start unit_byte
UNITS 2 idx_end unit_byte
LOCK2 &stats->mutex
TYPE_LOCK (struct dm_stats)->mutex