Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/dedupe.c acquire_lock() -> return_hash_lock_to_pool()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.next 4096-ptr_max
PARAM_VALUE 1 lock 4096-ptr_max
CAPPED_DATA 0 &zone->lock_pool 1
DATA_SOURCE 0 zone $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c acquire_lock() -> return_hash_lock_to_pool()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.next 4096-ptr_max
PARAM_VALUE 1 lock 4096-ptr_max
CAPPED_DATA 0 &zone->lock_pool 1
DATA_SOURCE 0 zone $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c initialize_zone() -> return_hash_lock_to_pool()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->completion.callback 1381001178949439488
PARAM_VALUE 0 zone->completion.complete 0
PARAM_VALUE 0 zone->completion.error_handler 0
PARAM_VALUE 0 zone->completion.my_queue 0
PARAM_VALUE 0 zone->completion.parent 0
PARAM_VALUE 0 zone->completion.priority 0
PARAM_VALUE 0 zone->completion.requeue 0
PARAM_VALUE 0 zone->completion.result 0
PARAM_VALUE 0 zone->completion.type 9
PARAM_VALUE 0 zone->hash_lock_map 4096-ptr_max
PARAM_VALUE 0 zone->hash_lock_map->size 0
PARAM_VALUE 0 zone->lock_array 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.next 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.next->next 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.prev 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 zone->lock_pool.prev->prev 4096-ptr_max
PARAM_VALUE 0 zone->state.current_state 1889149490642247680
PARAM_VALUE 0 zone->zone_number 0-254
PARAM_VALUE 1 lock 4096-ptr_max
CAPPED_DATA 0 zone->zone_number 1
MEM_ZERO 0 &zone->completion
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 zone->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 zone->hash_lock_map->bucket_count
NO_OVERFLOW_SIMPLE 0 zone->hash_lock_map->capacity
NO_OVERFLOW_SIMPLE 0 zone->zone_number

drivers/md/dm-vdo/dedupe.c vdo_release_hash_lock() -> return_hash_lock_to_pool()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->hash_lock_map 4096-ptr_max
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->reference_count 0
CAPPED_DATA 1 lock 1
CAPPED_DATA 1 &lock->duplicate_vios 1
CAPPED_DATA 1 &lock->pool_node 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL