Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-cache-target.c __destroy() -> free_bitset()

Type Parameter Key Value
PARAM_VALUE 0 bits 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock

drivers/md/dm-cache-target.c __destroy() -> free_bitset()

Type Parameter Key Value
PARAM_VALUE 0 bits 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock

drivers/md/dm-cache-target.c __destroy() -> free_bitset()

Type Parameter Key Value
PARAM_VALUE 0 bits 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock

drivers/md/dm-cache-policy-smq.c __smq_create() -> free_bitset()

Type Parameter Key Value
BUF_SIZE 0 bits s32min-s32max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-policy-smq.c __smq_create() -> free_bitset()

Type Parameter Key Value
PARAM_VALUE 0 bits 1-u64max
BUF_SIZE 0 bits s32min-s32max
DATA_SOURCE 0 bits r alloc_bitset
MEM_ZERO 0 bits
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-policy-smq.c smq_destroy() -> free_bitset()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock

drivers/md/dm-cache-policy-smq.c smq_destroy() -> free_bitset()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &cache->background_work_lock