Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/ata/libata-scsi.c ata_scsi_queuecmd() -> __ata_scsi_queuecmd()

Type Parameter Key Value
PARAM_VALUE 0 scmd 4096-ptr_max
PARAM_VALUE 0 scmd->device 4096-ptr_max
PARAM_VALUE 0 scmd->device->channel 0-4294967294
PARAM_VALUE 0 scmd->device->lun 0
PARAM_VALUE 0 scmd->flags 0-s32max
PARAM_VALUE 0 scmd->resid_len 0
PARAM_VALUE 0 scmd->submitter 0-1
PARAM_VALUE 0 *scmd->cmnd 0-255
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->class 1,3,5,7,9
PARAM_VALUE 2 ap 4096-ptr_max
PARAM_VALUE 2 ap->host 4096-ptr_max
PARAM_VALUE 2 ap->host->dev 4096-ptr_max
BUF_SIZE 1 dev (-1),8064
BUF_SIZE 1 dev (-1),8064
BUF_SIZE 2 ap 4768
BUF_SIZE 2 ap 4768
DATA_SOURCE 0 scmd $1
DATA_SOURCE 1 dev r ata_scsi_find_dev
DATA_SOURCE 2 ap r ata_shost_to_port
HARD_MAX 0 scmd->submitter 1
MEM_ZERO 0 scmd->sense_buffer
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq_flags
LOCK2 2 ap->lock
HALF_LOCKED2 &sdev->state_mutex

drivers/ata/libata-sata.c ata_sas_queuecmd() -> __ata_scsi_queuecmd()

Type Parameter Key Value
PARAM_VALUE 0 scmd 4096-ptr_max
PARAM_VALUE 0 scmd->device 4096-ptr_max
PARAM_VALUE 0 scmd->device->sdev_target 4096-ptr_max
PARAM_VALUE 0 scmd->flags 0-s32max
PARAM_VALUE 0 scmd->resid_len 0
PARAM_VALUE 0 scmd->submitter 0-1
PARAM_VALUE 0 *scmd->cmnd 0-255
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->class 1,3,5,7,9
PARAM_VALUE 2 ap 4096-ptr_max
PARAM_VALUE 2 ap->link.device 4096-ptr_max
PARAM_VALUE 2 ap->link.device->class 1,3,5,7,9
PARAM_VALUE 2 ap->lock 4096-ptr_max
PARAM_VALUE 2 ap->lock->rlock.dep_map->name 0-255
BUF_SIZE 1 dev 8064
DATA_SOURCE 0 scmd $0
DATA_SOURCE 2 ap $1
HARD_MAX 0 scmd->submitter 1
MEM_ZERO 0 scmd->sense_buffer
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
LOCK2 2 ap->lock
HALF_LOCKED2 &sdev->state_mutex