Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/hpsa.c enqueue_cmd_and_start_io() -> __enqueue_cmd_and_start_io()

Type Parameter Key Value
PARAM_VALUE 0 h 4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 h->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 h->pdev->link_bwctrl->cdev (-22),(-19),(-12),0,4096-s64max
PARAM_VALUE 0 *h->pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 c 4096-ptr_max
PARAM_VALUE 1 c->Header.ReplyQueue 0
PARAM_VALUE 1 c->Request.CDBLen 0-16
PARAM_VALUE 1 c->Request.Timeout 0
PARAM_VALUE 1 c->Request.type_attr_dir 0,32-33,96,160,224
PARAM_VALUE 1 c->SG->Ext 0-4294967295
PARAM_VALUE 1 c->SG->Len 0-4294967295
PARAM_VALUE 1 c->cmd_type 1,3-5
PARAM_VALUE 1 c->device 0,4096-ptr_max
PARAM_VALUE 1 c->device->in_reset 0
PARAM_VALUE 1 c->err_info->CommandStatus 0
PARAM_VALUE 1 c->err_info->ResidualCnt 0
PARAM_VALUE 1 c->err_info->ScsiStatus 0
PARAM_VALUE 1 c->err_info->SenseLen 0
PARAM_VALUE 1 c->scsi_cmd 4096-ptr_max
PARAM_VALUE 1 c->scsi_cmd->device 0,4096-ptr_max
PARAM_VALUE 1 c->scsi_cmd->host_scribble 0,4096-ptr_max
PARAM_VALUE 1 *c->Request.CDB 0-255
PARAM_VALUE 2 reply_queue (-1)
BUF_SIZE 0 h->lockup_detected (-1),4
BUF_SIZE 0 h->monitor_ctlr_wq (-1),512,528-8720
BUF_SIZE 0 h->pdev (-1),1-s32max
BUF_SIZE 0 h->rescan_ctlr_wq (-1),512,528-8720
BUF_SIZE 0 h->resubmit_wq (-1),512,528-8720
BUF_SIZE 1 c->device (-1),12,16,18,24,32,272,280,520,2064
BUF_SIZE 1 c->phys_disk (-1),12,16,18,24,32,272,280,520,2064
DATA_SOURCE 0 h $0
DATA_SOURCE 1 c $1
FUZZY_MAX 1 c->Request.type_attr_dir 224
HARD_MAX 1 c->cmd_type 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 h->Qdepth 0-u32max
HOST_DATA 0 h->TMFSupportFlags 0-u32max
HOST_DATA 0 h->abort_cmds_available.counter s32min-s32max
HOST_DATA 0 h->acciopath_status s32min-s32max
HOST_DATA 0 h->board_id 0-u32max
HOST_DATA 0 h->chainsize s32min-s32max
HOST_DATA 0 h->cmd_pool_dhandle 0-u64max
HOST_DATA 0 h->commands_outstanding.counter s32min-s32max
HOST_DATA 0 h->ctlr 0-s32max
HOST_DATA 0 h->discovery_polling s32min-s32max
HOST_DATA 0 h->driver_support 0-u32max
HOST_DATA 0 h->drv_req_rescan s32min-s32max
HOST_DATA 0 h->errinfo_pool_dhandle 0-u64max
HOST_DATA 0 h->event_monitor_work.cpu s32min-s32max
HOST_DATA 0 h->event_monitor_work.timer.expires 0-u64max
HOST_DATA 0 h->event_monitor_work.timer.flags 0-u32max
HOST_DATA 0 h->event_monitor_work.work.data.counter s64min-s64max
HOST_DATA 0 h->events 0-u32max
HOST_DATA 0 h->firmware_flash_in_progress.counter s32min-s32max
HOST_DATA 0 h->fw_support 0-u32max
HOST_DATA 0 h->heartbeat_sample_interval 0-u32max
HOST_DATA 0 h->interrupts_enabled s32min-s32max
HOST_DATA 0 h->intr_mode 0,2
HOST_DATA 0 h->ioaccel2_cmd_pool_dhandle 0-u64max
HOST_DATA 0 h->ioaccel_cmd_pool_dhandle 0-u64max
HOST_DATA 0 h->ioaccel_maxsg s32min-s32max
HOST_DATA 0 h->ioaccel_support s32min-s32max
HOST_DATA 0 h->last_collision_tag s32min-s32max
HOST_DATA 0 h->last_heartbeat 0-u32max
HOST_DATA 0 h->last_heartbeat_timestamp 0-u64max
HOST_DATA 0 h->last_intr_timestamp 0-u64max
HOST_DATA 0 h->legacy_board 0-1
HOST_DATA 0 h->maxSG 0-u32max
HOST_DATA 0 h->max_cmd_sg_entries 31-32[c]
HOST_DATA 0 h->max_commands s32min-s32max
HOST_DATA 0 h->maxsgentries 31,512-s32max
HOST_DATA 0 h->monitor_ctlr_work.cpu s32min-s32max
HOST_DATA 0 h->monitor_ctlr_work.timer.expires 0-u64max
HOST_DATA 0 h->monitor_ctlr_work.timer.flags 0-u32max
HOST_DATA 0 h->monitor_ctlr_work.work.data.counter s64min-s64max
HOST_DATA 0 h->msix_vectors 0-s32max
HOST_DATA 0 h->ndevices 0
HOST_DATA 0 h->needs_abort_tags_swizzled s32min-s32max
HOST_DATA 0 h->nr_cmds 16-s32max[c]
HOST_DATA 0 h->nreply_queues 0-255
HOST_DATA 0 h->paddr 0-u64max
HOST_DATA 0 h->passthru_cmds_avail.counter 10
HOST_DATA 0 h->pdev->acs_capabilities 0-u16max
HOST_DATA 0 h->pdev->class 0-16777215
HOST_DATA 0 h->pdev->current_state 0-3[c]
HOST_DATA 0 h->pdev->devcap 0-u32max
HOST_DATA 0 h->pdev->devfn 0-503[c]
HOST_DATA 0 h->pdev->device 0-u16max
HOST_DATA 0 h->pdev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 h->pdev->fm_enabled 0-1[c]
HOST_DATA 0 h->pdev->hdr_type 0-255[c]
HOST_DATA 0 h->pdev->ide_cfg 0-1[c]
HOST_DATA 0 h->pdev->ide_tee_limit 0-1[c]
HOST_DATA 0 h->pdev->irq 0-255
HOST_DATA 0 h->pdev->is_cxl 0-1
HOST_DATA 0 h->pdev->multifunction 0-1[c]
HOST_DATA 0 h->pdev->nr_ide_mem 0-255[c]
HOST_DATA 0 h->pdev->pcie_flags_reg 0-u16max
HOST_DATA 0 h->pdev->pcie_mpss 0-7[c]
HOST_DATA 0 h->pdev->physfn->bus->bridge_ctl 0-u16max
HOST_DATA 0 h->pdev->physfn->bus->parent->bridge_ctl 0-u16max
HOST_DATA 0 h->pdev->physfn->class 0-16777215
HOST_DATA 0 h->pdev->physfn->devcap 0-u32max
HOST_DATA 0 h->pdev->physfn->devfn 1-503[c]
HOST_DATA 0 h->pdev->physfn->device 0-u16max
HOST_DATA 0 h->pdev->physfn->hdr_type 0-255[c]
HOST_DATA 0 h->pdev->physfn->irq 0-255
HOST_DATA 0 h->pdev->physfn->is_cxl 0-1
HOST_DATA 0 h->pdev->physfn->multifunction 0-1[c]
HOST_DATA 0 h->pdev->physfn->pcie_mpss 0-7[c]
HOST_DATA 0 h->pdev->physfn->pin 0
HOST_DATA 0 h->pdev->physfn->pme_support 0-31[c]
HOST_DATA 0 h->pdev->physfn->revision 0-255
HOST_DATA 0 h->pdev->physfn->subsystem_device 0-u16max
HOST_DATA 0 h->pdev->physfn->subsystem_vendor 0-u16max
HOST_DATA 0 h->pdev->pin 0
HOST_DATA 0 h->pdev->pme_support 0-31[c]
HOST_DATA 0 h->pdev->ptm_granularity 0-255[c]
HOST_DATA 0 h->pdev->revision 0-255
HOST_DATA 0 h->pdev->subsystem_device 0-u16max
HOST_DATA 0 h->pdev->subsystem_vendor 0-u16max
HOST_DATA 0 h->pdev->supported_speeds 0,2-254[c]
HOST_DATA 0 h->pdev->transparent 0[c]
HOST_DATA 0 h->pdev->vendor 0-u16max
HOST_DATA 0 h->raid_offload_debug s32min-s32max
HOST_DATA 0 h->remove_in_progress s32min-s32max
HOST_DATA 0 h->reply_queue_size 0-u64max
HOST_DATA 0 h->rescan_ctlr_work.cpu s32min-s32max
HOST_DATA 0 h->rescan_ctlr_work.timer.expires 0-u64max
HOST_DATA 0 h->rescan_ctlr_work.timer.flags 0-u32max
HOST_DATA 0 h->rescan_ctlr_work.work.data.counter s64min-s64max
HOST_DATA 0 h->reset_in_progress 0-255
HOST_DATA 0 h->reset_mutex.osq.tail.counter 0
HOST_DATA 0 h->reset_mutex.owner.counter 0
HOST_DATA 0 h->sas_address 0-u64max
HOST_DATA 0 h->scan_finished 1
HOST_DATA 0 h->scan_waiting 0
HOST_DATA 0 h->scsi_host->sg_tablesize 0-u16max
HOST_DATA 0 h->transMethod 2,1073741828,1073741956-1073742212,1610612740,1610612868-161061
HOST_DATA 0 h->trans_offset 0-u32max
HOST_DATA 0 h->trans_support 0-u32max
HOST_DATA 0 *h->pdev->physfn->dev.driver_data s64min-s64max
NO_OVERFLOW_SIMPLE 0 h->reply_queue_size
NO_OVERFLOW_SIMPLE 0 h->scsi_host->sg_tablesize
NO_OVERFLOW_SIMPLE 1 c->Header.SGList
NO_OVERFLOW_SIMPLE 1 c->Header.SGTotal
NO_OVERFLOW_SIMPLE 1 c->cmdindex
NO_OVERFLOW_SIMPLE 1 c->h->chainsize
NO_OVERFLOW_SIMPLE 1 c->h->nr_cmds
NO_OVERFLOW_SIMPLE 1 c->h->reply_queue_size

drivers/scsi/hpsa.c hpsa_scsi_do_simple_cmd_core() -> __enqueue_cmd_and_start_io()

Type Parameter Key Value
PARAM_VALUE 0 h 4096-ptr_max
PARAM_VALUE 0 h->cmd_pool_bits 4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 h->pdev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 h->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 h->pdev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 *h->pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 c 4096-ptr_max
PARAM_VALUE 1 c->Header.SGTotal 0-255
PARAM_VALUE 1 c->cmd_type 1
PARAM_VALUE 1 c->cmdindex 0-10
PARAM_VALUE 1 c->device 0,4096-ptr_max
PARAM_VALUE 1 c->device->devtype 0-12,14-u32max
PARAM_VALUE 1 c->device->in_reset 1
PARAM_VALUE 1 c->err_info->CommandStatus 0,u16max
PARAM_VALUE 1 c->err_info->ResidualCnt 0
PARAM_VALUE 1 c->err_info->ScsiStatus 0
PARAM_VALUE 1 c->err_info->SenseLen 0
PARAM_VALUE 1 c->retry_pending 0
PARAM_VALUE 1 c->scsi_cmd 5721863181454389248
PARAM_VALUE 1 c->scsi_cmd->abort_work.cpu 0
PARAM_VALUE 1 c->scsi_cmd->abort_work.timer.expires 0
PARAM_VALUE 1 c->scsi_cmd->abort_work.timer.flags 0
PARAM_VALUE 1 c->scsi_cmd->abort_work.timer.function 0
PARAM_VALUE 1 c->scsi_cmd->abort_work.work.entry.prev 0
PARAM_VALUE 1 c->scsi_cmd->abort_work.work.func 0
PARAM_VALUE 1 c->scsi_cmd->abort_work.wq 0
PARAM_VALUE 1 c->scsi_cmd->allowed 0
PARAM_VALUE 1 c->scsi_cmd->budget_token 0
PARAM_VALUE 1 c->scsi_cmd->cmd_len 0
PARAM_VALUE 1 c->scsi_cmd->device 0
PARAM_VALUE 1 c->scsi_cmd->eh_eflags 0
PARAM_VALUE 1 c->scsi_cmd->eh_entry.prev 0
PARAM_VALUE 1 c->scsi_cmd->extra_len 0
PARAM_VALUE 1 c->scsi_cmd->flags 0
PARAM_VALUE 1 c->scsi_cmd->host_scribble 0
PARAM_VALUE 1 c->scsi_cmd->jiffies_at_alloc 0
PARAM_VALUE 1 c->scsi_cmd->prot_flags 0
PARAM_VALUE 1 c->scsi_cmd->prot_op 0
PARAM_VALUE 1 c->scsi_cmd->prot_sdb 0
PARAM_VALUE 1 c->scsi_cmd->prot_type 0
PARAM_VALUE 1 c->scsi_cmd->rcu.func 0
PARAM_VALUE 1 c->scsi_cmd->rcu.next 0
PARAM_VALUE 1 c->scsi_cmd->resid_len 0
PARAM_VALUE 1 c->scsi_cmd->result 0
PARAM_VALUE 1 c->scsi_cmd->retries 0
PARAM_VALUE 1 c->scsi_cmd->sc_data_direction 0
PARAM_VALUE 1 c->scsi_cmd->sdb.length 0
PARAM_VALUE 1 c->scsi_cmd->sdb.table.nents 0
PARAM_VALUE 1 c->scsi_cmd->sdb.table.orig_nents 0
PARAM_VALUE 1 c->scsi_cmd->sdb.table.sgl 0
PARAM_VALUE 1 c->scsi_cmd->sense_buffer 0
PARAM_VALUE 1 c->scsi_cmd->sense_len 0
PARAM_VALUE 1 c->scsi_cmd->state 0
PARAM_VALUE 1 c->scsi_cmd->submitter 0
PARAM_VALUE 1 c->scsi_cmd->transfersize 0
PARAM_VALUE 1 c->scsi_cmd->underflow 0
PARAM_VALUE 1 c->waiting 4804492496301891584
PARAM_VALUE 1 *c->Header.LUN.LunAddrBytes 0-255
PARAM_VALUE 2 reply_queue (-1)-s32max
BUF_SIZE 0 h s32min-(-1),1-s32max
BUF_SIZE 0 h s32min-(-1),1-s32max
BUF_SIZE 0 h->hba_inquiry_data (-1),64
BUF_SIZE 0 h->monitor_ctlr_wq (-1),512,8712
BUF_SIZE 0 h->rescan_ctlr_wq (-1),512,8712
BUF_SIZE 0 h->resubmit_wq (-1),512,8712
BUF_SIZE 1 c->device (-1),12,16,18,24,32,272,280,520,2064
BUF_SIZE 1 c->scsi_cmd (-1),392
BUF_SIZE 1 c->waiting 96
CAPPED_DATA 1 c->cmdindex 1
CAPPED_DATA 2 reply_queue 1
DATA_SOURCE 0 h $0
DATA_SOURCE 1 c $1
DATA_SOURCE 2 reply_queue $2
FUZZY_MAX 1 c->Header.SGTotal 1
STR_LEN 0 h (-1),8
STR_LEN 0 h (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 h->Qdepth 0-u32max
HOST_DATA 0 h->TMFSupportFlags 0-u32max
HOST_DATA 0 h->abort_cmds_available.counter s32min-s32max
HOST_DATA 0 h->acciopath_status s32min-s32max
HOST_DATA 0 h->board_id 0-u32max
HOST_DATA 0 h->chainsize s32min-s32max
HOST_DATA 0 h->cmd_pool_dhandle 0-u64max
HOST_DATA 0 h->commands_outstanding.counter s32min-s32max
HOST_DATA 0 h->ctlr s32min-s32max
HOST_DATA 0 h->discovery_polling s32min-s32max
HOST_DATA 0 h->driver_support 0-u32max
HOST_DATA 0 h->drv_req_rescan s32min-s32max
HOST_DATA 0 h->errinfo_pool_dhandle 0-u64max
HOST_DATA 0 h->event_monitor_work.cpu s32min-s32max
HOST_DATA 0 h->event_monitor_work.timer.expires 0-u64max
HOST_DATA 0 h->event_monitor_work.timer.flags 0-u32max
HOST_DATA 0 h->event_monitor_work.work.data.counter s64min-s64max
HOST_DATA 0 h->events 0-u32max
HOST_DATA 0 h->firmware_flash_in_progress.counter s32min-s32max
HOST_DATA 0 h->fw_support 0-u32max
HOST_DATA 0 h->heartbeat_sample_interval 0-u32max
HOST_DATA 0 h->interrupts_enabled s32min-s32max
HOST_DATA 0 h->intr_mode s32min-s32max
HOST_DATA 0 h->ioaccel2_cmd_pool_dhandle 0-u64max
HOST_DATA 0 h->ioaccel_cmd_pool_dhandle 0-u64max
HOST_DATA 0 h->ioaccel_maxsg s32min-s32max
HOST_DATA 0 h->ioaccel_support s32min-s32max
HOST_DATA 0 h->last_collision_tag s32min-s32max
HOST_DATA 0 h->last_heartbeat 0-u32max
HOST_DATA 0 h->last_heartbeat_timestamp 0-u64max
HOST_DATA 0 h->last_intr_timestamp 0-u64max
HOST_DATA 0 h->legacy_board s32min-s32max
HOST_DATA 0 h->maxSG 0-u32max
HOST_DATA 0 h->max_cmd_sg_entries 0-255
HOST_DATA 0 h->max_commands s32min-s32max
HOST_DATA 0 h->maxsgentries s32min-s32max
HOST_DATA 0 h->monitor_ctlr_work.cpu s32min-s32max
HOST_DATA 0 h->monitor_ctlr_work.timer.expires 0-u64max
HOST_DATA 0 h->monitor_ctlr_work.timer.flags 0-u32max
HOST_DATA 0 h->monitor_ctlr_work.work.data.counter s64min-s64max
HOST_DATA 0 h->msix_vectors 0-u32max
HOST_DATA 0 h->ndevices 0-s32max
HOST_DATA 0 h->needs_abort_tags_swizzled s32min-s32max
HOST_DATA 0 h->nr_cmds s32min-s32max
HOST_DATA 0 h->nreply_queues 0-255
HOST_DATA 0 h->paddr 0-u64max
HOST_DATA 0 h->passthru_cmds_avail.counter s32min-s32max
HOST_DATA 0 h->pdev->acs_capabilities 0-u16max
HOST_DATA 0 h->pdev->bus->parent->bridge_ctl 0-u16max
HOST_DATA 0 h->pdev->class 0-16777215
HOST_DATA 0 h->pdev->current_state 0-3[c]
HOST_DATA 0 h->pdev->devcap 0-u32max
HOST_DATA 0 h->pdev->devfn 0-503[c]
HOST_DATA 0 h->pdev->device 0-u16max
HOST_DATA 0 h->pdev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 h->pdev->fm_enabled 0-1[c]
HOST_DATA 0 h->pdev->hdr_type 0-255[c]
HOST_DATA 0 h->pdev->ide_cfg 0-1[c]
HOST_DATA 0 h->pdev->ide_tee_limit 0-1[c]
HOST_DATA 0 h->pdev->is_cxl 0-1
HOST_DATA 0 h->pdev->multifunction 0-1[c]
HOST_DATA 0 h->pdev->nr_ide_mem 0-255[c]
HOST_DATA 0 h->pdev->pcie_flags_reg 0-u16max
HOST_DATA 0 h->pdev->pcie_mpss 0-7[c]
HOST_DATA 0 h->pdev->physfn->acs_capabilities 0-u16max
HOST_DATA 0 h->pdev->physfn->bus->parent->bridge_ctl 0-u16max
HOST_DATA 0 h->pdev->physfn->current_state 0-3[c]
HOST_DATA 0 h->pdev->physfn->eetlp_prefix_max 0-7[c]
HOST_DATA 0 h->pdev->physfn->fm_enabled 0-1[c]
HOST_DATA 0 h->pdev->physfn->ide_cfg 0-1[c]
HOST_DATA 0 h->pdev->physfn->ide_tee_limit 0-1[c]
HOST_DATA 0 h->pdev->physfn->nr_ide_mem 0-255[c]
HOST_DATA 0 h->pdev->physfn->pcie_flags_reg 0-u16max
HOST_DATA 0 h->pdev->physfn->pme_support 0-31[c]
HOST_DATA 0 h->pdev->physfn->ptm_granularity 0-255[c]
HOST_DATA 0 h->pdev->physfn->supported_speeds 0,2-254[c]
HOST_DATA 0 h->pdev->physfn->transparent 0[c]
HOST_DATA 0 h->pdev->physfn->vendor 0-u16max
HOST_DATA 0 h->pdev->pin 0
HOST_DATA 0 h->pdev->pme_support 0-31[c]
HOST_DATA 0 h->pdev->ptm_granularity 0-255[c]
HOST_DATA 0 h->pdev->revision 0-255
HOST_DATA 0 h->pdev->subsystem_device 0-u16max
HOST_DATA 0 h->pdev->subsystem_vendor 0-u16max
HOST_DATA 0 h->pdev->supported_speeds 0,2-254[c]
HOST_DATA 0 h->pdev->transparent 0[c]
HOST_DATA 0 h->pdev->vendor 0-u16max
HOST_DATA 0 h->raid_offload_debug s32min-s32max
HOST_DATA 0 h->remove_in_progress s32min-s32max
HOST_DATA 0 h->reply_queue_size 0-u64max
HOST_DATA 0 h->rescan_ctlr_work.cpu s32min-s32max
HOST_DATA 0 h->rescan_ctlr_work.timer.expires 0-u64max
HOST_DATA 0 h->rescan_ctlr_work.timer.flags 0-u32max
HOST_DATA 0 h->rescan_ctlr_work.work.data.counter s64min-s64max
HOST_DATA 0 h->reset_in_progress 0-255
HOST_DATA 0 h->reset_mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 h->reset_mutex.owner.counter s64min-s64max
HOST_DATA 0 h->sas_address 0-u64max
HOST_DATA 0 h->scan_finished s32min-s32max
HOST_DATA 0 h->scan_waiting 0-1
HOST_DATA 0 h->scsi_host->sg_tablesize 0-u16max
HOST_DATA 0 h->transMethod 2,128-u64max
HOST_DATA 0 h->trans_offset 0-u32max
HOST_DATA 0 h->trans_support 0-u32max
HOST_DATA 0 *h->pdev->dev.driver_data s64min-s64max
NO_OVERFLOW_SIMPLE 0 h->chainsize
NO_OVERFLOW_SIMPLE 0 h->maxsgentries
NO_OVERFLOW_SIMPLE 0 h->nr_cmds
UNITS 0 h unit_byte
HALF_LOCKED2 0 &h->reset_mutex