Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/hotplug/shpchp_hpc.c shpc_get_max_bus_speed() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 4 |
| 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 |
| CAPPED_DATA | 0 | ctrl->num_slots | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 0-31[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_get_max_bus_speed() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 8 |
| 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 |
| CAPPED_DATA | 0 | ctrl->num_slots | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 0-31[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 12 |
| 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->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| 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_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| 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 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 0-31 |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| 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 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 0-31 |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 36-156 |
| 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 |
| CAPPED_DATA | 1 | reg | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 1-31 |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 36-156 |
| 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 |
| CAPPED_DATA | 0 | ctrl->num_slots | 1 |
| CAPPED_DATA | 1 | reg | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 1-31[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| 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 |
| CAPPED_DATA | 0 | ctrl->num_slots | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 0-31[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| 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 |
| CAPPED_DATA | 0 | ctrl->num_slots | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| BIT_INFO | 0 | ctrl->slot_num_inc | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->num_slots | 0-31[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg | 24 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 24 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| CAPPED_DATA | 1 | reg | 1 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpchp_get_adapter_speed() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| LOCK2 | &slot->ctrl->crit_sect | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct controller)->crit_sect |
drivers/pci/hotplug/shpchp_hpc.c shpchp_get_adapter_status() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| HALF_LOCKED2 | &slot->ctrl->crit_sect |
drivers/pci/hotplug/shpchp_hpc.c shpchp_get_attention_status() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| HALF_LOCKED2 | &pool->lock |
drivers/pci/hotplug/shpchp_hpc.c shpchp_get_latch_status() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| HALF_LOCKED2 | &slot->ctrl->crit_sect |
drivers/pci/hotplug/shpchp_hpc.c shpchp_get_power_status() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->ctrl->crit_sect | ||
| HALF_LOCKED2 | &slot->lock |
drivers/pci/hotplug/shpchp_hpc.c shpchp_query_power_fault() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpchp_release_ctlr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| BUF_SIZE | 0 | ctrl | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ctrl | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | reg | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| UNITS | 0 | ctrl | unit_byte |
drivers/pci/hotplug/shpchp_hpc.c shpchp_release_ctlr() -> shpc_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| BUF_SIZE | 0 | ctrl | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ctrl | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ctrl->num_slots | 1 |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->first_slot | 0-2047[c] |
| HOST_DATA | 0 | ctrl->mmio_base | 0-u64max[c] |
| HOST_DATA | 0 | ctrl->mmio_size | 36[c] |
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->slot_device_offset | 0-31[c] |
| UNITS | 0 | ctrl | unit_byte |