Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_fw.c mpi3mr_soft_reset_handler() -> mpi3mr_invalidate_devhandles()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
CAPPED_DATA 0 mrioc->facts.max_io_throttle_group 1
CAPPED_DATA 0 mrioc->intr_info_count 1
CAPPED_DATA 0 mrioc->num_io_throttle_group 1
CAPPED_DATA 0 mrioc->num_queues 1
CAPPED_DATA 0 mrioc->shost->tag_set.tags_srcu.srcu_ctrp 1
CAPPED_DATA 0 &mrioc->reset_mutex 1
DATA_SOURCE 0 mrioc $0
PARAM_COMPARE 0 mrioc->facts.max_io_throttle_group == $0->num_io_throttle_group
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mrioc->pdev->current_state 0-3[c]
HOST_DATA 0 mrioc->saved_fault_code 0-u16max
LOCK2 0 &mrioc->reset_mutex
HALF_LOCKED2 &drv_cmd->mutex
HALF_LOCKED2 0 &mrioc->bsg_cmds.mutex
HALF_LOCKED2 0 &mrioc->pel_abort_cmd.mutex
TYPE_LOCK (struct mpi3mr_ioc)->reset_mutex

drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_resume() -> mpi3mr_invalidate_devhandles()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
CAPPED_DATA 0 mrioc->intr_info_count 1
CAPPED_DATA 0 mrioc->pdev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mrioc->pdev->current_state 0-3[c]