Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-snap.c __free_exceptions() -> dm_exception_table_exit()

Type Parameter Key Value
PARAM_VALUE 0 et 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-snap.c __free_exceptions() -> dm_exception_table_exit()

Type Parameter Key Value
PARAM_VALUE 0 et 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-snap.c init_hash_tables() -> dm_exception_table_exit()

Type Parameter Key Value
PARAM_VALUE 0 et 4096-ptr_max
PARAM_VALUE 0 et->hash_mask 0-26213
PARAM_VALUE 0 et->hash_shift 8
PARAM_VALUE 0 et->table 1-18446744073709551614
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-snap.c snapshot_ctr() -> dm_exception_table_exit()

Type Parameter Key Value
PARAM_VALUE 0 et 4096-ptr_max
PARAM_VALUE 0 et->hash_mask 63-3275
PARAM_VALUE 0 et->table 4096-ptr_max
PARAM_VALUE 1 mem 0,4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-snap.c snapshot_ctr() -> dm_exception_table_exit()

Type Parameter Key Value
PARAM_VALUE 0 et 4096-ptr_max
PARAM_VALUE 0 et->hash_mask 0-26213
PARAM_VALUE 0 et->hash_shift 8
PARAM_VALUE 0 et->table 16,4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock