Defined in 2 files as a function:
- drivers/pci/controller/pci-rcar-gen2.c, line 151 (as a function)
- drivers/pci/controller/pci-rcar-gen2.c, line 169 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/pci-rcar-gen2.c rcar_pci_setup() -> rcar_pci_setup_errirq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->cfg_res | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->power.last_status | (-1) |
| PARAM_VALUE | 0 | priv->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | priv->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | priv->dev->power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | priv->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->irq | 1-s32max |
| PARAM_VALUE | 0 | priv->mem_res.start | 1-u64max |
| PARAM_VALUE | 0 | priv->reg | 4096-ptr_max |
| BUF_SIZE | 0 | priv | 0-1080 |
| BUF_SIZE | 0 | priv | 0-1080 |
| BUF_SIZE | 0 | priv->dev | 1616 |
| BUF_SIZE | 0 | priv->irq | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | priv | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |