Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pmcraid.c pmcraid_queuecommand_lck() -> pmcraid_build_ioadl()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->free_pool_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->inq_data 4096-ptr_max
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 0
PARAM_VALUE 0 pinstance->ioa_state 0-1,3-15
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_done 5847156778667610112
PARAM_VALUE 1 cmd->completion_req 0
PARAM_VALUE 1 cmd->dma_handle 0
PARAM_VALUE 1 cmd->hrrq_index 0
PARAM_VALUE 1 cmd->index 0-1023
PARAM_VALUE 1 cmd->ioa_cb 4096-ptr_max
PARAM_VALUE 1 cmd->ioa_cb->ioasa.ioasc 0,268435457
PARAM_VALUE 1 cmd->ioa_cb->ioasa.residual_data_length 0
PARAM_VALUE 1 cmd->release 0
PARAM_VALUE 1 cmd->res 0
PARAM_VALUE 1 cmd->scsi_cmd 4096-ptr_max
PARAM_VALUE 1 cmd->scsi_cmd->device 4096-ptr_max
PARAM_VALUE 1 cmd->scsi_cmd->flags 0-s32max
PARAM_VALUE 1 cmd->scsi_cmd->resid_len 0
PARAM_VALUE 1 cmd->scsi_cmd->result 0
PARAM_VALUE 1 cmd->scsi_cmd->submitter 0-1
PARAM_VALUE 1 cmd->sense_buffer 0
PARAM_VALUE 1 cmd->sense_buffer_dma 0
PARAM_VALUE 1 cmd->time_left 0
PARAM_VALUE 1 cmd->timer.entry.pprev 0
PARAM_VALUE 1 cmd->timer.flags 0-4194302
PARAM_VALUE 1 cmd->timer.lockdep_map->name 0-255
DATA_SOURCE 1 cmd r pmcraid_get_free_cmd
PARAM_COMPARE 0 &pinstance->free_cmd_pool != $0->free_cmd_pool.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex