Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_indirect_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->cap_offset | 1-255 |
| PARAM_VALUE | 0 | ctrl->pci_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0 |
| PARAM_VALUE | 2 | value | 8145618410918150144 |
| BUF_SIZE | 0 | ctrl | 552 |
| BUF_SIZE | 0 | ctrl->pci_dev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_indirect_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->cap_offset | 1-255 |
| PARAM_VALUE | 0 | ctrl->pci_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus->ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 0 | ctrl->slot_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 3 |
| PARAM_VALUE | 2 | value | 8056851151992029184 |
| BUF_SIZE | 0 | ctrl | 552 |
| BUF_SIZE | 0 | ctrl->pci_dev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_indirect_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->cap_offset | 1-255 |
| PARAM_VALUE | 0 | ctrl->pci_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->bus->ops->write | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->pci_dev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 0 | ctrl->slot_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->slot_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-8 |
| PARAM_VALUE | 2 | value | 8056851151992029184 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | ctrl | 552 |
| BUF_SIZE | 0 | ctrl->pci_dev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | ctrl | $0 |
| FUZZY_MAX | 1 | index | 8 |
| HARD_MAX | 1 | index | 8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 2 | *value | 0 |
| HALF_LOCKED2 | &pdev->dev.mutex |