Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/slab-depot.c decrement_for_data() -> vdo_assign_pbn_lock_provisional_reference()

Type Parameter Key Value
PARAM_VALUE 0 lock 1-u64max
DATA_SOURCE 0 lock r vdo_get_physical_zone_pbn_lock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c vdo_acquire_provisional_reference() -> vdo_assign_pbn_lock_provisional_reference()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->holder_count 0
PARAM_VALUE 0 lock->implementation 4096-ptr_max
DATA_SOURCE 0 lock $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/physical-zone.c allocate_and_lock_block() -> vdo_assign_pbn_lock_provisional_reference()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->holder_count 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL