Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 shared 4096-ptr_max
PARAM_VALUE 1 s 4096-ptr_max
PARAM_VALUE 1 s->id 0-s32max
PARAM_VALUE 1 s->stat_shared 4096-ptr_max
PARAM_VALUE 2 x 0-18446744073709551614
CAPPED_DATA 1 s->id 1
CAPPED_DATA 2 x 1
CAPPED_DATA 2 x 1
DATA_SOURCE 1 s $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 x
UNITS 2 x unit_byte
LOCK2 &stats->mutex
TYPE_LOCK (struct dm_stats)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 shared 4096-ptr_max
PARAM_VALUE 1 s 4096-ptr_max
PARAM_VALUE 1 s->id 0-s32max
PARAM_VALUE 1 s->stat_shared 4096-ptr_max
PARAM_VALUE 2 x 0-18446744073709551614
CAPPED_DATA 1 s->id 1
CAPPED_DATA 2 x 1
CAPPED_DATA 2 x 1
DATA_SOURCE 1 s r __dm_stats_find
PARAM_COMPARE 1 s->n_entries > $2
PARAM_COMPARE 2 x < $1->n_entries
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 x
UNITS 2 x unit_byte
LOCK2 &stats->mutex
TYPE_LOCK (struct dm_stats)->mutex