Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pmcraid.c pmcraid_isr() -> pmcraid_read_interrupts()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pinstance unit_byte
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/scsi/pmcraid.c pmcraid_isr_msix() -> pmcraid_read_interrupts()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pinstance unit_byte
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/scsi/pmcraid.c pmcraid_reset_enable_ioa() -> pmcraid_read_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->ioa_bringdown 0
PARAM_VALUE 0 pinstance->ioa_reset_attempts 0-3
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 1
PARAM_VALUE 0 pinstance->ioa_state 4
PARAM_VALUE 0 pinstance->ioa_unit_check 0
PARAM_VALUE 0 pinstance->pdev 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->bus 4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->pcie_cap 0-1
PARAM_VALUE 0 pinstance->pdev->sriov->offset 0-u16max
PARAM_VALUE 0 pinstance->pdev->sriov->stride 0-u16max
PARAM_VALUE 0 pinstance->pdev->state_saved 0
PARAM_VALUE 0 pinstance->pending_pool_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->reset_cmd 4096-ptr_max
PARAM_VALUE 0 *pinstance->host_toggle_bit 1
PARAM_VALUE 0 *pinstance->pdev->saved_config_space 0-4294967295
CAPPED_DATA 0 pinstance->num_hrrq 1
CAPPED_DATA 0 pinstance->reset_cmd 1
DATA_SOURCE 0 pinstance $0
FUZZY_MAX 0 pinstance->ioa_reset_attempts 3
HARD_MAX 0 pinstance->ioa_reset_attempts 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 host_lock_flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 pinstance->host->host_lock