Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/pcie/err.c pci_walk_bridge() -> pci_walk_bridge param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | dev->subordinate | 0 |
| PARAM_VALUE | 1 | data | 0,8985276243823874048 |
| PARAM_VALUE | 1 | *data | 2,5 |
| BUF_SIZE | 0 | dev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 0 | dev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 1 | data | (-1),4 |
| BUF_SIZE | 1 | data | (-1),4 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | data | $2 |
| HARD_MAX | 1 | *data | 5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->dev.flags | 0-u32max |
drivers/pci/bus.c __pci_walk_bus() -> __pci_walk_bus param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->subordinate->self->link_bwctrl->cdev | 0,4096-s64max |
| PARAM_VALUE | 0 | *dev->saved_config_space | 0-4294967295 |
| BUF_SIZE | 1 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | data->data | (-1),4,32 |
| BUF_SIZE | 1 | data->level | (-1),3 |
| BUF_SIZE | 1 | data->pdev | (-1),1-s32max |
| DATA_SOURCE | 1 | data | $2 |
| STR_LEN | 1 | data->level | (-1),2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp21.hccr | 0-u16max |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp23.hccr | 0-u16max |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp24.host_status | 0-4294967295 |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp25.host_status | 0-4294967295 |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp25.risc_io_reg | 0-4294967295 |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp81.host_status | 0-4294967295 |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp81.risc_io_reg | 0-4294967295 |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp83.host_status | 0-4294967295 |
| HOST_DATA | 0 | dev->dev.driver_data->hw->fw_dump->isp.isp83.risc_io_reg | 0-4294967295 |
| UNITS | 1 | data | unit_byte |
| HALF_LOCKED2 | global &pci_bus_sem |