Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sip 4096-ptr_max
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 (-1)
PARAM_VALUE 0 sip->macc_meta_lck.raw_lock.wlocked 0
DATA_SOURCE 0 sip r devip2sip
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_write_same() -> sdeb_data_write_unlock()

Type Parameter Key Value
PARAM_VALUE 0 sip 4096-ptr_max
PARAM_VALUE 0 sip->macc_data_lck.dep_map->name 0-255
DATA_SOURCE 0 sip r devip2sip
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c sdeb_data_unlock() -> sdeb_data_write_unlock()

Type Parameter Key Value
PARAM_VALUE 0 sip 4096-ptr_max
PARAM_VALUE 0 sip->macc_data_lck.dep_map->name 0-255
DATA_SOURCE 0 sip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdev->state_mutex