Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_create_tgtdev() -> mpi3mr_update_tgtdev()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->admin_pend_isr.counter 0
PARAM_VALUE 0 mrioc->admin_reply_ephase 0-1
PARAM_VALUE 0 mrioc->admin_reply_q_in_use.counter 0-s32max
PARAM_VALUE 0 mrioc->fw_release_trigger_active 1
PARAM_VALUE 0 mrioc->fwevt_list.prev 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->io_admin_reset_sync 0
PARAM_VALUE 0 mrioc->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 mrioc->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 mrioc->stop_drv_processing 0
PARAM_VALUE 0 mrioc->tgtdev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->trace_release_trigger_active 1
PARAM_VALUE 0 mrioc->trigger_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->unrecoverable 0
PARAM_VALUE 1 tgtdev 4096-ptr_max
PARAM_VALUE 1 tgtdev->perst_id 0-65534
PARAM_VALUE 1 tgtdev->state 1
PARAM_VALUE 2 dev_pg0 4096-ptr_max
PARAM_VALUE 2 dev_pg0->persistent_id 0-65534
PARAM_VALUE 3 is_added 1
BUF_SIZE 2 dev_pg0 4
BUF_SIZE 2 dev_pg0 4
CAPPED_DATA 1 tgtdev->perst_id 1
DATA_SOURCE 0 mrioc $0
DATA_SOURCE 1 tgtdev r __mpi3mr_get_tgtdev_by_perst_id
DATA_SOURCE 2 dev_pg0 $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &drv_cmd->mutex
HALF_LOCKED2 &pool->lock

drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_create_tgtdev() -> mpi3mr_update_tgtdev()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->admin_pend_isr.counter 0
PARAM_VALUE 0 mrioc->admin_reply_ephase 0-1
PARAM_VALUE 0 mrioc->admin_reply_q_in_use.counter 0-s32max
PARAM_VALUE 0 mrioc->fw_release_trigger_active 1
PARAM_VALUE 0 mrioc->fwevt_list.prev 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->io_admin_reset_sync 0
PARAM_VALUE 0 mrioc->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 mrioc->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 mrioc->stop_drv_processing 0
PARAM_VALUE 0 mrioc->tgtdev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->trace_release_trigger_active 1
PARAM_VALUE 0 mrioc->trigger_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->unrecoverable 0
PARAM_VALUE 1 tgtdev 4096-ptr_max
PARAM_VALUE 1 tgtdev->ref_count.refcount.refs.counter 1
PARAM_VALUE 2 dev_pg0 4096-ptr_max
PARAM_VALUE 2 dev_pg0->persistent_id 0-65534
PARAM_VALUE 3 is_added 1
BUF_SIZE 1 tgtdev 112
BUF_SIZE 2 dev_pg0 4
BUF_SIZE 2 dev_pg0 4
DATA_SOURCE 0 mrioc $0
DATA_SOURCE 1 tgtdev r mpi3mr_alloc_tgtdev
DATA_SOURCE 2 dev_pg0 $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &drv_cmd->mutex
HALF_LOCKED2 &pool->lock

drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_devinfochg_evt_bh() -> mpi3mr_update_tgtdev()

Type Parameter Key Value
PARAM_VALUE 0 mrioc 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event->list.next 4096-ptr_max
PARAM_VALUE 0 mrioc->current_event->list.prev 4096-ptr_max
PARAM_VALUE 0 mrioc->fwevt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->stop_drv_processing 0
PARAM_VALUE 0 mrioc->tgtdev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mrioc->unrecoverable 0
PARAM_VALUE 1 tgtdev 4096-ptr_max
PARAM_VALUE 2 dev_pg0 4096-ptr_max
PARAM_VALUE 2 dev_pg0->persistent_id 0-65534
PARAM_VALUE 3 is_added 0
CAPPED_DATA 1 tgtdev->dev_handle 1
DATA_SOURCE 0 mrioc $0
DATA_SOURCE 1 tgtdev r mpi3mr_get_tgtdev_by_handle
DATA_SOURCE 2 dev_pg0 $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock