Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/scsi_debug.c resp_comp_write() -> comp_write_worker()

Type Parameter Key Value
PARAM_VALUE 0 sip 1-1025,1027-1029,1031-u64max
PARAM_VALUE 0 sip->macc_data_lck.dep_map->name 0-255
PARAM_VALUE 0 sip->macc_meta_lck.dep_map->name 0-255
PARAM_VALUE 0 sip->macc_meta_lck.owner_cpu 0
PARAM_VALUE 0 sip->macc_meta_lck.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 1-255
PARAM_VALUE 3 arr 16,4096-ptr_max
PARAM_VALUE 4 compare_only 0
BUF_SIZE 3 arr 2-510
BUF_SIZE 3 arr 2-510
CAPPED_DATA 1 lba 1
CAPPED_DATA 1 lba 1
CAPPED_DATA 2 num 1
DATA_SOURCE 0 sip r devip2sip
DATA_SOURCE 1 lba r get_unaligned_be64
DATA_SOURCE 3 arr r _kmalloc_array_noprof
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_verify() -> comp_write_worker()

Type Parameter Key Value
PARAM_VALUE 0 sip 1-1025,1027-1029,1031-u64max
PARAM_VALUE 0 sip->macc_data_lck.dep_map->name 0-255
PARAM_VALUE 1 lba 0-255
PARAM_VALUE 2 num 1-255
PARAM_VALUE 3 arr 16,4096-ptr_max
PARAM_VALUE 4 compare_only 1
BUF_SIZE 3 arr 1-255
BUF_SIZE 3 arr 1-255
CAPPED_DATA 1 lba 1
CAPPED_DATA 1 lba 1
CAPPED_DATA 2 num 1
DATA_SOURCE 0 sip r devip2sip
DATA_SOURCE 3 arr r _kmalloc_array_noprof
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 num
HALF_LOCKED2 &sdev->state_mutex