Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/dwc/pci-imx6.c imx_pcie_reset_phy() -> pcie_phy_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | imx_pcie | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->apb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->apb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->array | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->drvdata | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->async | 0 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pci | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | addr | 4101 |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | imx_pcie | $0 |
| BIT_INFO | 0 | imx_pcie->drvdata->flags | 0x1,0xffffffffffffffff |
| BIT_INFO | 2 | data | 0x28,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | data | 0-u16max |
| UNITS | 0 | imx_pcie | unit_byte |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &epc->lock | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/pci/controller/dwc/pci-imx6.c imx_pcie_reset_phy() -> pcie_phy_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | imx_pcie | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->apb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->apb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->array | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->drvdata | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->async | 0 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pci | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | addr | 4101 |
| PARAM_VALUE | 2 | data | 0-65495 |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | imx_pcie | $0 |
| BIT_INFO | 0 | imx_pcie->drvdata->flags | 0x1,0xffffffffffffffff |
| BIT_INFO | 2 | data | 0x0,0xffd7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | data | 0-65495[c] |
| UNITS | 0 | imx_pcie | unit_byte |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &epc->lock | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/pci/controller/dwc/pci-imx6.c imx_setup_phy_mpll() -> pcie_phy_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | imx_pcie | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->array | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->clks | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->controller_id | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->drvdata | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->async | 0 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_bypass | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_only | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->num_clks | 1-s32max |
| PARAM_VALUE | 0 | imx_pcie->pci | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pci->pp.bridge | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pciephy_reset | 0,4096-u64max |
| PARAM_VALUE | 0 | imx_pcie->pciephy_reset->array | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pciephy_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->phy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->phy->attrs.mode | 14 |
| PARAM_VALUE | 0 | imx_pcie->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | imx_pcie->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | imx_pcie->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->vpcie->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie_aux | 0,4096-u64max |
| PARAM_VALUE | 0 | imx_pcie->vph | 0,4096-u64max |
| PARAM_VALUE | 1 | addr | 17 |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | imx_pcie->num_clks | 1 |
| DATA_SOURCE | 0 | imx_pcie | $0 |
| BIT_INFO | 0 | imx_pcie->drvdata->flags | 0x1,0xffffffffffffffff |
| BIT_INFO | 2 | data | 0x264,0xfe67 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | data | 0-u16max[c] |
| UNITS | 0 | imx_pcie | unit_byte |
drivers/pci/controller/dwc/pci-imx6.c imx_setup_phy_mpll() -> pcie_phy_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | imx_pcie | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->array | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->apps_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->clks | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->controller_id | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->drvdata | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->async | 0 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_bypass | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->iomuxc_gpr->cache_only | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->num_clks | 1-s32max |
| PARAM_VALUE | 0 | imx_pcie->pci | 4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pci->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pci->pp.bridge | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->pciephy_reset | 0,4096-u64max |
| PARAM_VALUE | 0 | imx_pcie->pciephy_reset->array | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->pciephy_reset->deassert_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->phy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->phy->attrs.mode | 14 |
| PARAM_VALUE | 0 | imx_pcie->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | imx_pcie->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | imx_pcie->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->phy->pwr->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie | 0,4096-ptr_max |
| PARAM_VALUE | 0 | imx_pcie->vpcie->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->reg_data->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | imx_pcie->vpcie_aux | 0,4096-u64max |
| PARAM_VALUE | 0 | imx_pcie->vph | 0,4096-u64max |
| PARAM_VALUE | 1 | addr | 16 |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | imx_pcie | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | imx_pcie->num_clks | 1 |
| DATA_SOURCE | 0 | imx_pcie | $0 |
| BIT_INFO | 0 | imx_pcie->drvdata->flags | 0x1,0xffffffffffffffff |
| BIT_INFO | 2 | data | 0x4,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | data | 0-u16max[c] |
| UNITS | 0 | imx_pcie | unit_byte |