Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pmcraid.c pmcraid_initiate_reset() -> pmcraid_notify_ioastate()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->force_ioa_reset 1
PARAM_VALUE 0 pinstance->free_pool_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pinstance->host 4096-ptr_max
PARAM_VALUE 0 pinstance->host->host_self_blocked 1
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 0
PARAM_VALUE 0 pinstance->ioa_shutdown_type 0
PARAM_VALUE 0 pinstance->reset_cmd 4096-ptr_max
PARAM_VALUE 0 pinstance->reset_cmd->cmd_done 0
PARAM_VALUE 0 pinstance->reset_cmd->completion_req 0
PARAM_VALUE 0 pinstance->reset_cmd->dma_handle 0
PARAM_VALUE 0 pinstance->reset_cmd->hrrq_index 0
PARAM_VALUE 0 pinstance->reset_cmd->index 0-1023
PARAM_VALUE 0 pinstance->reset_cmd->ioa_cb 4096-ptr_max
PARAM_VALUE 0 pinstance->reset_cmd->release 0
PARAM_VALUE 0 pinstance->reset_cmd->res 0
PARAM_VALUE 0 pinstance->reset_cmd->scsi_cmd 0
PARAM_VALUE 0 pinstance->reset_cmd->sense_buffer 0
PARAM_VALUE 0 pinstance->reset_cmd->sense_buffer_dma 0
PARAM_VALUE 0 pinstance->reset_cmd->time_left 0
PARAM_VALUE 0 pinstance->reset_cmd->timer.entry.pprev 0
PARAM_VALUE 0 pinstance->reset_cmd->timer.flags 0-4194302
PARAM_VALUE 1 evt 285212672
DATA_SOURCE 0 pinstance $0
PARAM_COMPARE 0 &pinstance->free_cmd_pool != $0->free_cmd_pool.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pinstance unit_byte
LOCK2 0 pinstance->host->host_lock
HALF_LOCKED2 lock_flags

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

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->ioa_bringdown 1
PARAM_VALUE 0 pinstance->ioa_reset_attempts 0
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 1
PARAM_VALUE 0 pinstance->ioa_state 2
PARAM_VALUE 0 pinstance->reset_cmd 4096-ptr_max
PARAM_VALUE 1 evt 285212677
CAPPED_DATA 0 pinstance->reset_cmd 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 host_lock_flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 pinstance->host->host_lock

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

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
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 1
PARAM_VALUE 0 pinstance->ioa_state 2
PARAM_VALUE 0 pinstance->reset_cmd 4096-ptr_max
PARAM_VALUE 1 evt 285212674
CAPPED_DATA 0 pinstance->reset_cmd 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 host_lock_flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 pinstance->host->host_lock

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

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_shutdown_type 0
PARAM_VALUE 0 pinstance->ioa_state 1
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
PARAM_VALUE 1 evt 285212676
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

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

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->force_ioa_reset 0
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 1
PARAM_VALUE 0 pinstance->ioa_shutdown_type 0
PARAM_VALUE 0 pinstance->ioa_state 0
PARAM_VALUE 0 pinstance->reset_cmd 4096-ptr_max
PARAM_VALUE 1 evt 285212673
CAPPED_DATA 0 pinstance->reset_cmd 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 host_lock_flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 pinstance->host->host_lock

drivers/scsi/pmcraid.c pmcraid_ioa_shutdown() -> pmcraid_notify_ioastate()

Type Parameter Key Value
PARAM_VALUE 0 *pinstance->pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 evt 285212675
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 host_lock_flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 pinstance->host->host_lock

drivers/scsi/pmcraid.c pmcraid_reset_bringup() -> pmcraid_notify_ioastate()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 1-u64max
PARAM_VALUE 0 pinstance->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 *pinstance->host_toggle_bit 0-255
PARAM_VALUE 1 evt 285212672
BUF_SIZE 0 pinstance s32min-(-1),1-s32max
BUF_SIZE 0 pinstance s32min-(-1),1-s32max
DATA_SOURCE 0 pinstance $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pinstance unit_byte

drivers/scsi/pmcraid.c pmcraid_timeout_handler() -> pmcraid_notify_ioastate()

Type Parameter Key Value
PARAM_VALUE 0 pinstance 4096-ptr_max
PARAM_VALUE 0 pinstance->host 4096-ptr_max
PARAM_VALUE 0 pinstance->ioa_reset_in_progress 1
PARAM_VALUE 0 pinstance->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 pinstance->pdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 pinstance->scn.ioa_state 0-285212671,285212673-285212674,285212676-u32max
PARAM_VALUE 1 evt 285212672
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 lock_flags
LOCK2 0 pinstance->host->host_lock