Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_raise_msi_irq() -> dw_pcie_ep_map_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->mem | 4096-ptr_max |
| PARAM_VALUE | 1 | func_no | 0-254 |
| PARAM_VALUE | 2 | vfunc_no | 0 |
| CAPPED_DATA | 1 | func_no | 1 |
| CAPPED_DATA | 4 | pci_addr | 1 |
| CAPPED_DATA | 4 | pci_addr | 1 |
| DATA_SOURCE | 1 | func_no | $1 |
| DATA_SOURCE | 4 | pci_addr | r dw_pcie_ep_align_addr |
| CONSTRAINT | 1 | func_no | <2180 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 4 | pci_addr | 0-u64max[c] |
| HOST_DATA | 5 | size | 0-u64max[c] |
| UNITS | 5 | size | unit_byte |
| LOCK2 | &epc->lock | ||
| HALF_LOCKED2 | &ctrl->irq_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct pci_epc)->lock |
drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_raise_msix_irq() -> dw_pcie_ep_map_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->mem | 4096-ptr_max |
| PARAM_VALUE | 1 | func_no | 0-254 |
| PARAM_VALUE | 2 | vfunc_no | 0 |
| CAPPED_DATA | 1 | func_no | 1 |
| CAPPED_DATA | 4 | pci_addr | 1 |
| CAPPED_DATA | 4 | pci_addr | 1 |
| DATA_SOURCE | 1 | func_no | $1 |
| DATA_SOURCE | 4 | pci_addr | r dw_pcie_ep_align_addr |
| CONSTRAINT | 1 | func_no | <2180 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 5 | size | unit_byte |
| LOCK2 | &epc->lock | ||
| HALF_LOCKED2 | &ctrl->irq_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct pci_epc)->lock |
drivers/pci/endpoint/pci-epc-core.c pci_epc_map_addr() -> (struct pci_epc_ops)->map_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | epc->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | epc->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | epc->lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | epc->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | epc->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | epc->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | epc->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | epc->max_functions | 1-255 |
| PARAM_VALUE | 0 | epc->max_vfs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | epc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->ops->align_addr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | epc->ops->map_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | func_no | 0-254 |
| CAPPED_DATA | 0 | &epc->lock | 1 |
| CAPPED_DATA | 1 | func_no | 1 |
| CAPPED_DATA | 2 | vfunc_no | 1 |
| DATA_SOURCE | 0 | epc | $0 |
| DATA_SOURCE | 1 | func_no | $1 |
| DATA_SOURCE | 2 | vfunc_no | $2 |
| DATA_SOURCE | 3 | addr | $3 |
| DATA_SOURCE | 4 | pci_addr | $4 |
| DATA_SOURCE | 5 | size | $5 |
| CONTAINER | 0 | -32-1784+0 | $(-1) |
| PARAM_COMPARE | 0 | epc->max_functions | > $1 |
| PARAM_COMPARE | 1 | func_no | < $0->max_functions |
| CONSTRAINT | 1 | func_no | <2180 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &epc->lock | |
| TYPE_LOCK | (struct pci_epc)->lock |