Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/dwc/pcie-dw-rockchip.c rockchip_pcie_probe() -> rockchip_pcie_phy_deinit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rockchip | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->apb_base | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->clk_cnt | 0 |
| PARAM_VALUE | 0 | rockchip->data | 1-u64max |
| PARAM_VALUE | 0 | rockchip->pci.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->devres_head.prev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->driver | 0 |
| PARAM_VALUE | 0 | rockchip->pci.dev->kobj.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->kobj.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->of_node | 0 |
| PARAM_VALUE | 0 | rockchip->pci.dev->power.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.epc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.func_list.next | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.func_list.prev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.ib_window_map | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.msi_iatu_mapped | 0 |
| PARAM_VALUE | 0 | rockchip->pci.ep.msi_map_size | 0 |
| PARAM_VALUE | 0 | rockchip->pci.ep.msi_mem | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.msi_msg_addr | 0 |
| PARAM_VALUE | 0 | rockchip->pci.ep.ob_window_map | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.ep.ops | 0,3598499357042257920 |
| PARAM_VALUE | 0 | rockchip->pci.ep.page_size | 0,65536 |
| PARAM_VALUE | 0 | rockchip->pci.ops | 5607780467121164288 |
| PARAM_VALUE | 0 | rockchip->pci.pp.bridge | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.pp.cfg | 0,4096-u64max |
| PARAM_VALUE | 0 | rockchip->pci.pp.io_base | 0,u64max |
| PARAM_VALUE | 0 | rockchip->pci.pp.irq_domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.pp.irq_domain->msi_parent_ops->bus_select_token | 0,3,5,9,12-13 |
| PARAM_VALUE | 0 | rockchip->pci.pp.lock.magic | 0,3735899821 |
| PARAM_VALUE | 0 | rockchip->pci.pp.lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | rockchip->pci.pp.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | rockchip->pci.pp.msg_atu_index | 0-2147483646 |
| PARAM_VALUE | 0 | rockchip->pci.pp.msg_res | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.pp.msi_irq_chip | 0,914859770780467200,7036688932138967040 |
| PARAM_VALUE | 0 | rockchip->pci.pp.num_vectors | 0-256 |
| PARAM_VALUE | 0 | rockchip->pci.pp.ops | 0,4409992559562641408 |
| PARAM_VALUE | 0 | rockchip->pci.pp.va_cfg0_base | 0,4096-ptr_max,(-22),(-16),(-12) |
| PARAM_VALUE | 0 | rockchip->phy | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | rockchip->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | rockchip->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->phy->ops->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | rockchip->phy->ops->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | rockchip->phy->pwr->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->enabled_updated | 0 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->regmap->async | 0 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->uv_updated | 0 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->rst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->rst->array | 0-1 |
| PARAM_VALUE | 0 | rockchip->rst_gpio | 0,4096-ptr_max |
| BUF_SIZE | 0 | rockchip | 7480 |
| BUF_SIZE | 0 | rockchip->pci.dev | 1616 |
| BUF_SIZE | 0 | rockchip->pci.ops | 64 |
| CAPPED_DATA | 0 | rockchip->pci.dev | 1 |
| DATA_SOURCE | 0 | rockchip | r devm_kzalloc |
| FUZZY_MAX | 0 | rockchip->pci.ep.page_size | 0 |
| FUZZY_MAX | 0 | rockchip->pci.pp.io_base | 0 |
| FUZZY_MAX | 0 | rockchip->pci.pp.lock.magic | 0 |
| FUZZY_MAX | 0 | rockchip->pci.pp.lock.owner_cpu | 0 |
| FUZZY_MAX | 0 | rockchip->pci.pp.msg_atu_index | 0 |
| FUZZY_MAX | 0 | rockchip->pci.pp.num_vectors | 0 |
| MEM_ZERO | 0 | rockchip | |
| MEM_ZERO | 0 | rockchip->pci.dev | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/controller/dwc/pcie-dw-rockchip.c rockchip_pcie_rc_reset_root_port() -> rockchip_pcie_phy_deinit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rockchip | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->apps_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->async | 0 |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | rockchip->regmap->async | 0 |
| PARAM_VALUE | 0 | rockchip->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | rockchip->trace_work.work.lockdep_map->name | 0-255 |
| BUF_SIZE | 0 | rockchip | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | rockchip | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | rockchip | unit_byte |
| HALF_LOCKED2 | &ctrl->reset_lock |
drivers/pci/controller/dwc/pcie-dw-rockchip.c rockchip_pcie_rc_reset_root_port() -> rockchip_pcie_phy_deinit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rockchip | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->apps_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->async | 0 |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->iomuxc_gpr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | rockchip->pci.dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->kobj.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->kobj.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->power.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->pci.dev->power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->phy | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | rockchip->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | rockchip->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->phy->ops->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | rockchip->phy->ops->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | rockchip->phy->pwr->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->enabled_updated | 0 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->regmap->async | 0 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->reg_data->uv_updated | 0 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->phy->pwr->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->regmap->async | 0 |
| PARAM_VALUE | 0 | rockchip->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | rockchip->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | rockchip->rst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rockchip->rst->array | 0-1 |
| PARAM_VALUE | 0 | rockchip->trace_work.work.lockdep_map->name | 0-255 |
| BUF_SIZE | 0 | rockchip | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | rockchip | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | rockchip->pci.dev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | rockchip | unit_byte |
| HALF_LOCKED2 | &ctrl->reset_lock |