Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/pcie-altera.c _altera_pcie_cfg_write() -> (struct altera_pcie_ops)->rp_write_cfg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pcie | 4096-ptr_max |
| PARAM_VALUE | 0 | pcie->pcie_data | 4096-ptr_max |
| PARAM_VALUE | 0 | pcie->pcie_data->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | pcie->pcie_data->ops->rp_write_cfg | 5575278818660519936,8590212925316358144 |
| BUF_SIZE | 0 | pcie | (-1)-1080 |
| BUF_SIZE | 0 | pcie | (-1)-1080 |
| CAPPED_DATA | 0 | pcie->root_bus_nr | 1 |
| CAPPED_DATA | 1 | busno | 1 |
| DATA_SOURCE | 0 | pcie | $0 |
| DATA_SOURCE | 1 | busno | $1 |
| DATA_SOURCE | 2 | where | $3 |
| DATA_SOURCE | 3 | size | $4 |
| DATA_SOURCE | 4 | value | $5 |
| CONTAINER | 0 | -32-0-104+0 | $(-1) |
| PARAM_COMPARE | 1 | busno | == $0->root_bus_nr |
| NOSPEC | 2 | where | |
| NOSPEC | 2 | where | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 4 | value | 0-u32max |
| USER_DATA | 2 | where | 0-1000000012[c] |
| USER_DATA | 4 | value | 0-u32max |