Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/mpt3sas/mpt3sas_scsih.c _scsih_probe_boot_devices() -> _scsih_raid_device_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ioc | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->bios_pg3.BiosVersion | 1-u32max |
| PARAM_VALUE | 0 | ioc->facts.ProtocolFlags | 2-u16max |
| PARAM_VALUE | 0 | ioc->port_enable_cmds.status | 32768 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ioc->shost->shost_gendev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ioc->start_scan | 0 |
| PARAM_VALUE | 0 | ioc->start_scan_failed | 0 |
| PARAM_VALUE | 0 | ioc->wait_for_discovery_to_complete | 0 |
| PARAM_VALUE | 1 | raid_device | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->starget | 0 |
| BUF_SIZE | 1 | raid_device | 96 |
| DATA_SOURCE | 0 | ioc | $0 |
| BIT_INFO | 0 | ioc->facts.ProtocolFlags | 0x2,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/mpt3sas/mpt3sas_scsih.c _scsih_probe_raid() -> _scsih_raid_device_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ioc | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->ir_firmware | 1-255 |
| PARAM_VALUE | 0 | ioc->shost->shost_gendev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | raid_device | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->starget | 0 |
| CAPPED_DATA | 0 | &ioc->raid_device_list | 1 |
| CAPPED_DATA | 1 | &raid_device->list | 1 |
| DATA_SOURCE | 0 | ioc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/mpt3sas/mpt3sas_scsih.c _scsih_sas_ir_volume_event() -> _scsih_raid_device_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ioc | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->base_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->ctl_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->fw_event_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->hostdiag_unlock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->pdev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ioc->port_enable_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->raid_device_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->raid_device_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->raid_device_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->raid_device_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->reset_in_progress_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->scsih_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ioc->shost->shost_gendev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ioc->tm_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->transport_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *ioc->diag_buffer_status | 0-255 |
| PARAM_VALUE | 0 | *ioc->manu_pg0.ChipName | 0-255 |
| PARAM_VALUE | 1 | raid_device | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->channel | 1 |
| PARAM_VALUE | 1 | raid_device->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->wwid | 1-u64max |
| BUF_SIZE | 1 | raid_device | 96 |
| DATA_SOURCE | 0 | ioc | $0 |
| DATA_SOURCE | 1 | raid_device | r _kzalloc_noprof |
| NOCHECK_CALL |
drivers/scsi/mpt3sas/mpt3sas_scsih.c _scsih_sas_volume_add() -> _scsih_raid_device_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ioc | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->base_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | ioc->config_cmds.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->ctl_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->fw_event_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->hostdiag_unlock_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->pdev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ioc->port_enable_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->raid_device_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->raid_device_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->raid_device_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->raid_device_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->reset_in_progress_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->scsih_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ioc->shost->scan_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ioc->shost->shost_gendev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ioc->tm_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->transport_cmds.done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->wait_for_discovery_to_complete | 0 |
| PARAM_VALUE | 0 | *ioc->diag_buffer_status | 0-255 |
| PARAM_VALUE | 0 | *ioc->manu_pg0.ChipName | 0-255 |
| PARAM_VALUE | 1 | raid_device | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->channel | 1 |
| PARAM_VALUE | 1 | raid_device->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->wwid | 1-u64max |
| BUF_SIZE | 1 | raid_device | 96 |
| CAPPED_DATA | 1 | raid_device->wwid | 1 |
| DATA_SOURCE | 0 | ioc | $0 |
| DATA_SOURCE | 1 | raid_device | r _kzalloc_noprof |
| NOCHECK_CALL |
drivers/scsi/mpt3sas/mpt3sas_scsih.c scsih_remove() -> _scsih_raid_device_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ioc | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->debugfs_root | 0,4096-u64max |
| PARAM_VALUE | 0 | ioc->debugfs_root->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->debugfs_root->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->debugfs_root->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | ioc->firmware_event_thread | 0 |
| PARAM_VALUE | 0 | ioc->fw_event_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->hwmon | 0 |
| PARAM_VALUE | 0 | *ioc->debugfs_root->d_inode->i_hash.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | *ioc->debugfs_root->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ioc->debugfs_root->d_inode->i_sb->s_fs_info->wbuf_verify | 0-255 |
| PARAM_VALUE | 1 | raid_device | 4096-ptr_max |
| PARAM_VALUE | 1 | raid_device->starget | 0,4096-ptr_max |
| CAPPED_DATA | 0 | ioc->debugfs_root | 1 |
| CAPPED_DATA | 0 | &ioc->raid_device_list | 1 |
| CAPPED_DATA | 1 | &raid_device->list | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |