Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 15-262143 |
| 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 |
| BIT_INFO | 2 | val | 0xf,0x3ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| HOST_DATA | 2 | val | 15-262143[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_writel()
| 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 |
| PARAM_VALUE | 2 | val | 2130706432-u32max |
| 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 |
| BIT_INFO | 2 | val | 0x7f000000,0xff1f7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| HOST_DATA | 2 | val | 2130706432-u32max[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_writel()
| 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 |
| BIT_INFO | 2 | val | 0x0,0xe01f7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| HOST_DATA | 2 | val | 0-u32max[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | ctrl->creg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 0,2-262138 |
| 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 |
| BIT_INFO | 2 | val | 0x0,0x3fffa |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| HOST_DATA | 2 | val | 0,2-262138[c] |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 1-262143 |
| DATA_SOURCE | 0 | ctrl | $1 |
| BIT_INFO | 2 | val | 0x1,0x3ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 1-262143[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 0-262143 |
| DATA_SOURCE | 0 | ctrl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-262143[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| CAPPED_DATA | 1 | reg | 1 |
| DATA_SOURCE | 0 | ctrl | $1 |
| BIT_INFO | 2 | val | 0x0,0xff1f7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 0,2-262142 |
| DATA_SOURCE | 0 | ctrl | $1 |
| BIT_INFO | 2 | val | 0x0,0x3fffe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0,2-262142[c] |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/pci/hotplug/shpchp_hpc.c shpchp_release_ctlr() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 2 | val | 2130706432-u32max |
| 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 |
| BIT_INFO | 2 | val | 0x7f000000,0xff1f7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| HOST_DATA | 2 | val | 2130706432-u32max[c] |
| UNITS | 0 | ctrl | unit_byte |
drivers/pci/hotplug/shpchp_hpc.c shpchp_release_ctlr() -> shpc_writel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 15-262143 |
| 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 |
| BIT_INFO | 2 | val | 0xf,0x3ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| HOST_DATA | 2 | val | 15-262143[c] |
| UNITS | 0 | ctrl | unit_byte |