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_lock()

Type Parameter Key Value
PARAM_VALUE 0 sip 0-1025,1027-1029,1031-u64max
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_lock()

Type Parameter Key Value
PARAM_VALUE 0 sip 4096-ptr_max
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_lock() -> sdeb_data_write_lock()

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