Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pmcraid.c pmcraid_ioa_reset() -> pmcraid_get_dump()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
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->pdev->saved_config_space 0-4294967295
CAPPED_DATA 0 pinstance->reset_cmd 1
FUZZY_MAX 0 pinstance->ioa_reset_attempts 3
HARD_MAX 0 pinstance->ioa_reset_attempts 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pinstance->pdev->sriov->offset 0-u16max
HOST_DATA 0 pinstance->pdev->sriov->stride 0-u16max
HALF_LOCKED2 flags
HALF_LOCKED2 host_lock_flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 pinstance->host->host_lock