Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/leapraid/leapraid_func.c leapraid_update_existing_port() -> leapraid_add_or_del_phys_from_existing_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->access_ctrl.pcie_recovering | 0 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recover_async | 1 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recovering | 1 |
| PARAM_VALUE | 0 | adapter->adapter_attr.enable_mp | 1-255 |
| PARAM_VALUE | 0 | adapter->dev_topo.card.card_phy | 1-u64max |
| PARAM_VALUE | 0 | adapter->dev_topo.card.phys_num | 1-255 |
| PARAM_VALUE | 0 | adapter->mask_int | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | card_port | 1-u64max |
| PARAM_VALUE | 2 | card_port_table | 4096-ptr_max |
| PARAM_VALUE | 3 | index | 0-254 |
| PARAM_VALUE | 4 | port_count | 1-255 |
| BUF_SIZE | 0 | adapter->dev_topo.card.card_phy | (-1),104 |
| BUF_SIZE | 2 | card_port_table | 64 |
| CAPPED_DATA | 3 | index | 1 |
| CAPPED_DATA | 4 | port_count | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| DATA_SOURCE | 2 | card_port_table | $1 |
| DATA_SOURCE | 3 | index | $2 |
| DATA_SOURCE | 4 | port_count | $3 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | adapter->dev_topo.card.phys_num | |
| LOCK2 | 0 | &adapter->reset_desc.adapter_reset_mutex | |
| TYPE_LOCK | (struct leapraid_reset_desc)->adapter_reset_mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_update_existing_port() -> leapraid_add_or_del_phys_from_existing_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->access_ctrl.pcie_recovering | 0 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recover_async | 1 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recovering | 1 |
| PARAM_VALUE | 0 | adapter->adapter_attr.enable_mp | 1-255 |
| PARAM_VALUE | 0 | adapter->dev_topo.card.card_phy | 1-u64max |
| PARAM_VALUE | 0 | adapter->dev_topo.card.phys_num | 1-255 |
| PARAM_VALUE | 0 | adapter->mask_int | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | adapter->reset_desc.adapter_reset_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | card_port | 1-u64max |
| PARAM_VALUE | 2 | card_port_table | 4096-ptr_max |
| PARAM_VALUE | 3 | index | 0-254 |
| PARAM_VALUE | 4 | port_count | 1-255 |
| BUF_SIZE | 0 | adapter->dev_topo.card.card_phy | (-1),104 |
| BUF_SIZE | 2 | card_port_table | 64 |
| CAPPED_DATA | 3 | index | 1 |
| CAPPED_DATA | 4 | port_count | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| DATA_SOURCE | 2 | card_port_table | $1 |
| DATA_SOURCE | 3 | index | $2 |
| DATA_SOURCE | 4 | port_count | $3 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | adapter->dev_topo.card.phys_num | |
| LOCK2 | 0 | &adapter->reset_desc.adapter_reset_mutex | |
| TYPE_LOCK | (struct leapraid_reset_desc)->adapter_reset_mutex |