hpsa_cmd_partial_init identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/scsi/hpsa.c, line 5551 (as a function)

Referenced in 1 files:

drivers/scsi/hpsa.c

Smatch caller information:

drivers/scsi/hpsa.c cmd_alloc() -> hpsa_cmd_partial_init()

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->saved_config_space	0-4294967295
PARAM_VALUE	1	index	0-10
PARAM_VALUE	2	c	4096-ptr_max
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->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
CAPPED_DATA	1	index	1
DATA_SOURCE	0	h	$0
DATA_SOURCE	1	index	r find_next_zero_bit
STR_LEN	0	h	(-1),8
STR_LEN	0	h	(-1),8
PARAM_COMPARE	1	index	<= $2
PARAM_COMPARE	2	c	>= $1
PARAM_COMPARE	2	c	>= $1
PREEMPT_ADD
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->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	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->physfn->dev.driver_data	s64min-s64max
NO_OVERFLOW_SIMPLE	0	h->scsi_host->sg_tablesize
UNITS	0	h	unit_byte
HALF_LOCKED2	0	&h->reset_mutex

drivers/scsi/hpsa.c cmd_tagged_alloc() -> hpsa_cmd_partial_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	h	4096-ptr_max
PARAM_VALUE	0	h->nr_cmds	12-s32max
PARAM_VALUE	1	index	11-2147483646
PARAM_VALUE	2	c	4096-ptr_max
PARAM_VALUE	2	c->scsi_cmd	4096-ptr_max
CAPPED_DATA	1	index	1
DATA_SOURCE	0	h	$0
DATA_SOURCE	1	index	r hpsa_get_cmd_index
PARAM_COMPARE	0	h->nr_cmds	> $1
PARAM_COMPARE	1	index	< $0->nr_cmds
PARAM_COMPARE	1	index	<= $2
PARAM_COMPARE	2	c	>= $1
PARAM_COMPARE	2	c	>= $1
CONSTRAINT	1	index	<2127
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	index	unit_array_size
HALF_LOCKED2		&sdev->state_mutex

drivers/scsi/hpsa.c hpsa_command_resubmit_worker() -> hpsa_cmd_partial_init()

Type	Parameter	Key	Value
PARAM_VALUE	2	c	4096-ptr_max
PARAM_VALUE	2	c->scsi_cmd->device	0,4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	h->chainsize
NO_OVERFLOW_SIMPLE	0	h->maxsgentries
NO_OVERFLOW_SIMPLE	0	h->nr_cmds
NO_OVERFLOW_SIMPLE	1	index
NO_OVERFLOW_SIMPLE	2	c->Header.SGList
NO_OVERFLOW_SIMPLE	2	c->cmdindex
NO_OVERFLOW_SIMPLE	2	c->h->chainsize
NO_OVERFLOW_SIMPLE	2	c->h->maxsgentries
NO_OVERFLOW_SIMPLE	2	c->h->nr_cmds
UNITS	1	index	unit_array_size
HALF_LOCKED2		&pool->lock