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 finish_locking() -> assert_hash_lock_agent()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 1 where 7473613010299494400
BUF_SIZE 1 where 15
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c finish_querying() -> assert_hash_lock_agent()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 1 where 3022550232903213056
BUF_SIZE 1 where 16
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c finish_unlocking() -> assert_hash_lock_agent()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 1 where 3159318242321457152
BUF_SIZE 1 where 17
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c finish_updating() -> assert_hash_lock_agent()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 1 where 6454438493107154944
BUF_SIZE 1 where 16
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c finish_verifying() -> assert_hash_lock_agent()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 1 where 5406460420034494464
BUF_SIZE 1 where 17
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL