Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-log.c core_clear_region() -> log_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
BUF_SIZE 0 l 192,696
BUF_SIZE 0 l 192,696
BUF_SIZE 1 bs s32min,1-536870912
DATA_SOURCE 2 bit $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-log.c core_get_resync_work() -> log_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 1 bs 4096-ptr_max
PARAM_VALUE 2 bit 0-64
BUF_SIZE 0 l 192,696
BUF_SIZE 0 l 192,696
BUF_SIZE 1 bs s32min,1-536870912
CAPPED_DATA 0 l->sync_search 1
CAPPED_DATA 2 bit 1
DATA_SOURCE 2 bit r find_next_zero_bit_le
PARAM_COMPARE 2 bit < $0->region_count
PARAM_COMPARE 2 bit < $0->sync_search
NOCHECK_CALL
UNITS 2 bit unit_byte
LOCK2 &pool->lock
LOCK2 &rh->recovery_count
TYPE_LOCK (struct dm_region_hash)->recovery_count

drivers/md/dm-log.c core_set_region_sync() -> log_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
BUF_SIZE 0 l 192,696
BUF_SIZE 0 l 192,696
BUF_SIZE 1 bs s32min,1-536870912
DATA_SOURCE 2 bit $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-log.c disk_resume() -> log_set_bit()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
BUF_SIZE 0 l 192,696
BUF_SIZE 0 l 192,696
BUF_SIZE 1 bs s32min,1-536870912
CAPPED_DATA 2 bit 1
PARAM_COMPARE 2 bit < $0->region_count
NOCHECK_CALL
UNITS 2 bit unit_byte
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock