Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/scsi/aic7xxx/aic7xxx_osm.c ahc_send_async() -> scsi_report_device_reset()

Type Parameter Key Value
DATA_SOURCE 2 target $2
NOSPEC 2 target
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 target 1-15[c]
UNITS 2 target unit_array_size
HALF_LOCKED2 &ahc->platform_data->spin_lock
HALF_LOCKED2 flags

drivers/scsi/aic7xxx/aic79xx_osm.c ahd_send_async() -> scsi_report_device_reset()

Type Parameter Key Value
DATA_SOURCE 2 target $2
NOSPEC 2 target
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 target 1-15[c]
UNITS 2 target unit_array_size
HALF_LOCKED2 &ahd->platform_data->spin_lock
HALF_LOCKED2 flags

drivers/usb/storage/scsiglue.c usb_stor_report_device_reset() -> scsi_report_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 shost 4096-ptr_max
PARAM_VALUE 1 channel 0
PARAM_VALUE 2 target 0
DATA_SOURCE 0 shost r us_to_host
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &us->dev_mutex
LOCK2 irq
TYPE_LOCK (struct us_data)->dev_mutex

drivers/usb/storage/scsiglue.c usb_stor_report_device_reset() -> scsi_report_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 shost 4096-ptr_max
PARAM_VALUE 1 channel 0
PARAM_VALUE 2 target 1-s32max
CAPPED_DATA 2 target 1
DATA_SOURCE 0 shost r us_to_host
FUZZY_MAX 2 target 1
PARAM_COMPARE 0 shost->max_id > $2
PARAM_COMPARE 2 target < $0->max_id
PREEMPT_ADD
NOCHECK_CALL
UNITS 2 target unit_array_size
LOCK2 &us->dev_mutex
LOCK2 irq
TYPE_LOCK (struct us_data)->dev_mutex