Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/pci-xgene.c xgene_pcie_map_ranges() -> xgene_pcie_setup_ob_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cfg_base | 4096-ptr_max |
| PARAM_VALUE | 0 | port->clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->csr_base | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | port->dev->iommu->max_pasids | 0-4294967295 |
| PARAM_VALUE | 0 | port->dev->of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->version | 1 |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 2 | offset | 304 |
| PARAM_VALUE | 3 | cpu_addr | u64max |
| BUF_SIZE | 0 | port | 0-1080 |
| BUF_SIZE | 0 | port | 0-1080 |
| BUF_SIZE | 0 | port->dev | 1616 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->clk->core->parent->req_rate | |
| UNITS | 4 | pci_addr | unit_byte |
drivers/pci/controller/pci-xgene.c xgene_pcie_map_ranges() -> xgene_pcie_setup_ob_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cfg_base | 4096-ptr_max |
| PARAM_VALUE | 0 | port->clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->csr_base | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | port->dev->iommu->max_pasids | 0-4294967295 |
| PARAM_VALUE | 0 | port->dev->of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->version | 1 |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->flags | 8192-u64max |
| PARAM_VALUE | 2 | offset | 280 |
| BUF_SIZE | 0 | port | 0-1080 |
| BUF_SIZE | 0 | port | 0-1080 |
| BUF_SIZE | 0 | port->dev | 1616 |
| DATA_SOURCE | 0 | port | $0 |
| BIT_INFO | 1 | res->flags | 0x2000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->clk->core->parent->req_rate | |
| UNITS | 3 | cpu_addr | unit_byte |
| UNITS | 4 | pci_addr | unit_byte |
drivers/pci/controller/pci-xgene.c xgene_pcie_map_ranges() -> xgene_pcie_setup_ob_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cfg_base | 4096-ptr_max |
| PARAM_VALUE | 0 | port->clk | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | port->clk->core->parent->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->prepare_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->parent->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->prepare_count | 1-4294967295 |
| PARAM_VALUE | 0 | port->clk->core->protect_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->csr_base | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | port->dev->iommu->max_pasids | 0-4294967295 |
| PARAM_VALUE | 0 | port->dev->of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->version | 1 |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 2 | offset | 256 |
| BUF_SIZE | 0 | port | 0-1080 |
| BUF_SIZE | 0 | port | 0-1080 |
| BUF_SIZE | 0 | port->dev | 1616 |
| DATA_SOURCE | 0 | port | $0 |
| BIT_INFO | 1 | res->flags | 0x0,0xffffffffffffdfff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->clk->core->parent->req_rate | |
| UNITS | 3 | cpu_addr | unit_byte |
| UNITS | 4 | pci_addr | unit_byte |