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/mpt3sas/mpt3sas_scsih.c _scsih_device_remove_by_handle() -> _scsih_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 ioc 4096-ptr_max
PARAM_VALUE 0 ioc->sas_device_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ioc->shost_recovery 0
PARAM_VALUE 1 sas_device 4096-ptr_max
PARAM_VALUE 1 sas_device->list.next->prev 4096-ptr_max
PARAM_VALUE 1 sas_device->list.prev->next 4096-ptr_max
CAPPED_DATA 1 sas_device->handle 1
DATA_SOURCE 0 ioc $0
DATA_SOURCE 1 sas_device r __mpt3sas_get_sdev_by_handle
NOCHECK_CALL

drivers/scsi/mpt3sas/mpt3sas_scsih.c _scsih_remove_unresponding_devices() -> _scsih_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 ioc 4096-ptr_max
PARAM_VALUE 0 ioc->sas_device_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sas_device 4096-ptr_max
CAPPED_DATA 0 &ioc->sas_device_init_list 1
CAPPED_DATA 0 &ioc->sas_device_list 1
DATA_SOURCE 0 ioc $0
NOCHECK_CALL

drivers/scsi/mpt3sas/mpt3sas_scsih.c mpt3sas_device_remove_by_sas_address() -> _scsih_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 ioc 4096-ptr_max
PARAM_VALUE 0 ioc->firmware_event_thread->flags 0-4294967295
PARAM_VALUE 0 ioc->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 ioc->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ioc->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 ioc->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 ioc->sas_device_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ioc->shost->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ioc->shost_recovery 0
PARAM_VALUE 0 *ioc->diag_buffer_sz 0-4294967295
PARAM_VALUE 0 *ioc->diagnostic_flags 0-4294967295
PARAM_VALUE 0 *ioc->pdev->saved_config_space 0-4294967295
PARAM_VALUE 0 *ioc->unique_id 0-4294967295
PARAM_VALUE 1 sas_device 4096-ptr_max
PARAM_VALUE 1 sas_device->list.next->prev 4096-ptr_max
PARAM_VALUE 1 sas_device->list.prev->next 4096-ptr_max
PARAM_VALUE 1 sas_device->port 1-u64max
BUF_SIZE 0 ioc->pdev (-1),1-s32max
BUF_SIZE 0 ioc->sas_hba.parent_dev (-1),1616
BUF_SIZE 0 ioc->schedule_dead_ioc_flush_running_cmds (-1),8
CAPPED_DATA 1 sas_device->port 1
CAPPED_DATA 1 sas_device->sas_address 1
DATA_SOURCE 0 ioc $0
DATA_SOURCE 1 sas_device r __mpt3sas_get_sdev_by_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ioc->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 ioc->combined_reply_index_count
NO_OVERFLOW_SIMPLE 0 ioc->io_uring_poll_queues
NO_OVERFLOW_SIMPLE 0 ioc->pdev->dev.cma_area->available_count
NO_OVERFLOW_SIMPLE 0 ioc->pdev->msix_base
NO_OVERFLOW_SIMPLE 0 ioc->sas_hba.nr_phys_allocated
NO_OVERFLOW_SIMPLE 0 ioc->sas_hba.num_phys
HALF_LOCKED2 0 &ioc->base_cmds.mutex
HALF_LOCKED2 0 &ioc->ctl_cmds.mutex
HALF_LOCKED2 0 &ioc->pci_access_mutex
HALF_LOCKED2 0 &ioc->reset_in_progress_mutex
HALF_LOCKED2 0 &ioc->scsih_cmds.mutex
HALF_LOCKED2 0 &ioc->tm_cmds.mutex
HALF_LOCKED2 0 &ioc->transport_cmds.mutex