mpi3mr_cleanup_isr identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/scsi/mpi3mr/mpi3mr_fw.c, line 87 (as a function)

Referenced in 1 files:

drivers/scsi/mpi3mr/mpi3mr_fw.c

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_cleanup_resources() -> mpi3mr_cleanup_isr()

Type	Parameter	Key	Value
PARAM_VALUE	0	mrioc	4096-ptr_max
PARAM_VALUE	0	mrioc->bsg_dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*mrioc->pdev->saved_config_space	0-4294967295
BUF_SIZE	0	mrioc->fwevt_worker_thread	(-1),512,528-8720
BUF_SIZE	0	mrioc->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	mrioc->shost	(-1),4600-s32max
DATA_SOURCE	0	mrioc	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	mrioc->pdev->acs_capabilities	0-u16max
HOST_DATA	0	mrioc->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->class	0-16777215
HOST_DATA	0	mrioc->pdev->current_state	0-3[c]
HOST_DATA	0	mrioc->pdev->devcap	0-u32max
HOST_DATA	0	mrioc->pdev->device	0-u16max
HOST_DATA	0	mrioc->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	mrioc->pdev->fm_enabled	0-1[c]
HOST_DATA	0	mrioc->pdev->hdr_type	0-255[c]
HOST_DATA	0	mrioc->pdev->ide_cfg	0-1[c]
HOST_DATA	0	mrioc->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	mrioc->pdev->irq	0-255
HOST_DATA	0	mrioc->pdev->is_cxl	0-1
HOST_DATA	0	mrioc->pdev->multifunction	0-1[c]
HOST_DATA	0	mrioc->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	mrioc->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->class	0-16777215
HOST_DATA	0	mrioc->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	mrioc->pdev->physfn->devcap	0-u32max
HOST_DATA	0	mrioc->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	mrioc->pdev->physfn->device	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->irq	0-255
HOST_DATA	0	mrioc->pdev->physfn->is_cxl	0-1
HOST_DATA	0	mrioc->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->pin	0
HOST_DATA	0	mrioc->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	mrioc->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->revision	0-255
HOST_DATA	0	mrioc->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	mrioc->pdev->physfn->transparent	0[c]
HOST_DATA	0	mrioc->pdev->physfn->vendor	0-u16max
HOST_DATA	0	mrioc->pdev->pin	0
HOST_DATA	0	mrioc->pdev->pme_support	0-31[c]
HOST_DATA	0	mrioc->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	mrioc->pdev->revision	0-255
HOST_DATA	0	mrioc->pdev->subsystem_device	0-u16max
HOST_DATA	0	mrioc->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	mrioc->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	mrioc->pdev->transparent	0[c]
HOST_DATA	0	mrioc->pdev->vendor	0-u16max
HOST_DATA	0	*mrioc->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*mrioc->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2		&dev->mutex

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_setup_isr() -> mpi3mr_cleanup_isr()

Type	Parameter	Key	Value
PARAM_VALUE	0	mrioc	4096-ptr_max
PARAM_VALUE	0	mrioc->intr_enabled	0-1
PARAM_VALUE	0	mrioc->is_intr_info_set	0
PARAM_VALUE	0	mrioc->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	mrioc->pdev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	mrioc->sysif_regs	4096-ptr_max
PARAM_VALUE	0	*mrioc->event_masks	0-4294967295
PARAM_VALUE	0	*mrioc->pdev->saved_config_space	0-4294967295
PARAM_VALUE	0	*mrioc->saved_fault_info	0-4294967295
BUF_SIZE	0	mrioc->fwevt_worker_thread	(-1),512,528-8720
BUF_SIZE	0	mrioc->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	mrioc->pel_seqnum_virt	(-1),24
BUF_SIZE	0	mrioc->shost	(-1),4600-s32max
BUF_SIZE	0	mrioc->throttle_groups	(-1),24
DATA_SOURCE	0	mrioc	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	mrioc->msix_count	1[c]
HOST_DATA	0	mrioc->pdev->acs_capabilities	0-u16max
HOST_DATA	0	mrioc->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->class	0-16777215
HOST_DATA	0	mrioc->pdev->current_state	0-3[c]
HOST_DATA	0	mrioc->pdev->devcap	0-u32max
HOST_DATA	0	mrioc->pdev->devfn	0-503[c]
HOST_DATA	0	mrioc->pdev->device	0-u16max
HOST_DATA	0	mrioc->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	mrioc->pdev->fm_enabled	0-1[c]
HOST_DATA	0	mrioc->pdev->hdr_type	0-255[c]
HOST_DATA	0	mrioc->pdev->ide_cfg	0-1[c]
HOST_DATA	0	mrioc->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	mrioc->pdev->irq	0-255
HOST_DATA	0	mrioc->pdev->is_cxl	0-1
HOST_DATA	0	mrioc->pdev->multifunction	0-1[c]
HOST_DATA	0	mrioc->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	mrioc->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	mrioc->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->class	0-16777215
HOST_DATA	0	mrioc->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	mrioc->pdev->physfn->devcap	0-u32max
HOST_DATA	0	mrioc->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	mrioc->pdev->physfn->device	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->irq	0-255
HOST_DATA	0	mrioc->pdev->physfn->is_cxl	0-1
HOST_DATA	0	mrioc->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->pin	0
HOST_DATA	0	mrioc->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->revision	0-255
HOST_DATA	0	mrioc->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	mrioc->pdev->physfn->transparent	0[c]
HOST_DATA	0	mrioc->pdev->physfn->vendor	0-u16max
HOST_DATA	0	mrioc->pdev->pin	0
HOST_DATA	0	mrioc->pdev->pme_support	0-31[c]
HOST_DATA	0	mrioc->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	mrioc->pdev->revision	0-255
HOST_DATA	0	mrioc->pdev->subsystem_device	0-u16max
HOST_DATA	0	mrioc->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	mrioc->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	mrioc->pdev->transparent	0[c]
HOST_DATA	0	mrioc->pdev->vendor	0-u16max
HOST_DATA	0	mrioc->ready_timeout	0-510[c]
HOST_DATA	0	mrioc->requested_poll_qcount	u16max[c]
HOST_DATA	0	mrioc->saved_fault_code	0-u16max
HOST_DATA	0	*mrioc->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*mrioc->pdev->physfn->dev.driver_data	s64min-s64max
NO_OVERFLOW_SIMPLE	0	mrioc->num_io_throttle_group
NO_OVERFLOW_SIMPLE	0	mrioc->num_op_req_q
HALF_LOCKED2	0	&mrioc->bsg_cmds.mutex
HALF_LOCKED2	0	&mrioc->pel_abort_cmd.mutex
HALF_LOCKED2	0	&mrioc->reset_mutex

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_setup_isr() -> mpi3mr_cleanup_isr()

Type	Parameter	Key	Value
PARAM_VALUE	0	mrioc	4096-ptr_max
PARAM_VALUE	0	mrioc->intr_enabled	0
PARAM_VALUE	0	mrioc->intr_info	0,16,4096-ptr_max
PARAM_VALUE	0	mrioc->is_intr_info_set	0
PARAM_VALUE	0	mrioc->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	mrioc->pdev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	mrioc->sysif_regs	4096-ptr_max
PARAM_VALUE	0	*mrioc->event_masks	0-4294967295
PARAM_VALUE	0	*mrioc->pdev->saved_config_space	0-4294967295
PARAM_VALUE	0	*mrioc->saved_fault_info	0-4294967295
BUF_SIZE	0	mrioc->fwevt_worker_thread	(-1),512,528-8720
BUF_SIZE	0	mrioc->intr_info	0-188978560936,u64max
BUF_SIZE	0	mrioc->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	mrioc->pel_seqnum_virt	(-1),24
BUF_SIZE	0	mrioc->shost	(-1),4600-s32max
BUF_SIZE	0	mrioc->throttle_groups	(-1),24
CAPPED_DATA	0	mrioc->intr_info_count	1
DATA_SOURCE	0	mrioc	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	mrioc->msix_count	1[c]
HOST_DATA	0	mrioc->pdev->acs_capabilities	0-u16max
HOST_DATA	0	mrioc->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->class	0-16777215
HOST_DATA	0	mrioc->pdev->current_state	0-3[c]
HOST_DATA	0	mrioc->pdev->devcap	0-u32max
HOST_DATA	0	mrioc->pdev->devfn	0-503[c]
HOST_DATA	0	mrioc->pdev->device	0-u16max
HOST_DATA	0	mrioc->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	mrioc->pdev->fm_enabled	0-1[c]
HOST_DATA	0	mrioc->pdev->hdr_type	0-255[c]
HOST_DATA	0	mrioc->pdev->ide_cfg	0-1[c]
HOST_DATA	0	mrioc->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	mrioc->pdev->irq	0-255
HOST_DATA	0	mrioc->pdev->is_cxl	0-1
HOST_DATA	0	mrioc->pdev->multifunction	0-1[c]
HOST_DATA	0	mrioc->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	mrioc->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	mrioc->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->class	0-16777215
HOST_DATA	0	mrioc->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	mrioc->pdev->physfn->devcap	0-u32max
HOST_DATA	0	mrioc->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	mrioc->pdev->physfn->device	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->irq	0-255
HOST_DATA	0	mrioc->pdev->physfn->is_cxl	0-1
HOST_DATA	0	mrioc->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	mrioc->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	mrioc->pdev->physfn->pin	0
HOST_DATA	0	mrioc->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	mrioc->pdev->physfn->revision	0-255
HOST_DATA	0	mrioc->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	mrioc->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	mrioc->pdev->physfn->transparent	0[c]
HOST_DATA	0	mrioc->pdev->physfn->vendor	0-u16max
HOST_DATA	0	mrioc->pdev->pin	0
HOST_DATA	0	mrioc->pdev->pme_support	0-31[c]
HOST_DATA	0	mrioc->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	mrioc->pdev->revision	0-255
HOST_DATA	0	mrioc->pdev->subsystem_device	0-u16max
HOST_DATA	0	mrioc->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	mrioc->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	mrioc->pdev->transparent	0[c]
HOST_DATA	0	mrioc->pdev->vendor	0-u16max
HOST_DATA	0	mrioc->ready_timeout	0-510[c]
HOST_DATA	0	mrioc->requested_poll_qcount	u16max[c]
HOST_DATA	0	mrioc->saved_fault_code	0-u16max
HOST_DATA	0	*mrioc->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*mrioc->pdev->physfn->dev.driver_data	s64min-s64max
NO_OVERFLOW_SIMPLE	0	mrioc->num_io_throttle_group
NO_OVERFLOW_SIMPLE	0	mrioc->num_op_req_q
HALF_LOCKED2	0	&mrioc->bsg_cmds.mutex
HALF_LOCKED2	0	&mrioc->pel_abort_cmd.mutex
HALF_LOCKED2	0	&mrioc->reset_mutex