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_devstatuschg_evt_bh() -> mpi3mr_tgtdev_del_from_list()
| 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->current_event->pending_at_sml | 0 |
| 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 | 1 | tgtdev->starget | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tgtdev->starget->hostdata->dev_handle | u16max |
| PARAM_VALUE | 2 | must_delete | 0 |
| CAPPED_DATA | 1 | tgtdev->dev_handle | 1 |
| DATA_SOURCE | 0 | mrioc | $0 |
| DATA_SOURCE | 1 | tgtdev | r mpi3mr_get_tgtdev_by_handle |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_pcietopochg_evt_bh() -> mpi3mr_tgtdev_del_from_list()
| 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 | must_delete | 0 |
| CAPPED_DATA | 1 | tgtdev->dev_handle | 1 |
| DATA_SOURCE | 0 | mrioc | $0 |
| DATA_SOURCE | 1 | tgtdev | r mpi3mr_get_tgtdev_by_handle |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_refresh_tgtdevs() -> mpi3mr_tgtdev_del_from_list()
| 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->pci_err_recovery | 0 |
| PARAM_VALUE | 0 | mrioc->stop_drv_processing | 0 |
| PARAM_VALUE | 1 | tgtdev | 4096-ptr_max |
| PARAM_VALUE | 1 | tgtdev->dev_handle | u16max |
| PARAM_VALUE | 2 | must_delete | 1 |
| CAPPED_DATA | 0 | &mrioc->tgtdev_list | 1 |
| CAPPED_DATA | 1 | &tgtdev->list | 1 |
| DATA_SOURCE | 0 | mrioc | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_remove() -> mpi3mr_tgtdev_del_from_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mrioc | 4096-ptr_max |
| PARAM_VALUE | 0 | mrioc->block_on_pci_err | 0 |
| PARAM_VALUE | 0 | mrioc->bsg_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | mrioc->bsg_queue | 0 |
| PARAM_VALUE | 0 | mrioc->fwevt_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mrioc->fwevt_worker_thread | 0 |
| PARAM_VALUE | 0 | mrioc->is_driver_loading | 0 |
| PARAM_VALUE | 0 | mrioc->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | mrioc->reset_in_progress | 0 |
| PARAM_VALUE | 0 | mrioc->stop_drv_processing | 1 |
| PARAM_VALUE | 1 | tgtdev | 4096-ptr_max |
| PARAM_VALUE | 1 | tgtdev->starget | 0,4096-ptr_max |
| PARAM_VALUE | 1 | tgtdev->starget->hostdata->dev_handle | u16max |
| PARAM_VALUE | 2 | must_delete | 1 |
| CAPPED_DATA | 0 | &mrioc->tgtdev_list | 1 |
| CAPPED_DATA | 1 | &tgtdev->list | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/mpi3mr/mpi3mr_os.c mpi3mr_sastopochg_evt_bh() -> mpi3mr_tgtdev_del_from_list()
| 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-1 |
| PARAM_VALUE | 1 | tgtdev | 4096-ptr_max |
| PARAM_VALUE | 2 | must_delete | 0 |
| CAPPED_DATA | 1 | tgtdev->dev_handle | 1 |
| DATA_SOURCE | 0 | mrioc | $0 |
| DATA_SOURCE | 1 | tgtdev | r mpi3mr_get_tgtdev_by_handle |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |