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_pcie_device_remove_by_handle() -> _scsih_pcie_device_remove_from_sml()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ioc | 4096-ptr_max |
| PARAM_VALUE | 0 | ioc->pci_error_recovery | 0 |
| PARAM_VALUE | 0 | ioc->pcie_device_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ioc->remove_host | 0 |
| PARAM_VALUE | 0 | ioc->shost_recovery | 0 |
| PARAM_VALUE | 1 | pcie_device | 4096-ptr_max |
| PARAM_VALUE | 1 | pcie_device->handle | 1-u16max |
| PARAM_VALUE | 1 | pcie_device->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | pcie_device->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pcie_device->list.prev->next | 4096-ptr_max |
| CAPPED_DATA | 1 | pcie_device->handle | 1 |
| CAPPED_DATA | 1 | &pcie_device->list | 1 |
| DATA_SOURCE | 0 | ioc | $0 |
| DATA_SOURCE | 1 | pcie_device | r __mpt3sas_get_pdev_by_handle |
| NOCHECK_CALL |
drivers/scsi/mpt3sas/mpt3sas_scsih.c scsih_remove() -> _scsih_pcie_device_remove_from_sml()
| 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 | pcie_device | 4096-ptr_max |
| CAPPED_DATA | 0 | ioc->debugfs_root | 1 |
| CAPPED_DATA | 0 | &ioc->pcie_device_list | 1 |
| CAPPED_DATA | 0 | &ioc->raid_device_list | 1 |
| CAPPED_DATA | 1 | &pcie_device->list | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |