Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/pci/hotplug/shpchp_core.c get_adapter_status() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| PARAM_VALUE | 1 | status | 4096-ptr_max |
| DATA_SOURCE | 0 | slot | r get_slot |
| DATA_SOURCE | 1 | status | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_disable_slot() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| PARAM_VALUE | 0 | slot->ctrl | 1-u64max |
| PARAM_VALUE | 1 | status | 5550754950258520064 |
| PARAM_VALUE | 1 | *status | 0 |
| CAPPED_DATA | 0 | &slot->ctrl->crit_sect | 1 |
| DATA_SOURCE | 0 | slot | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &slot->ctrl->crit_sect | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct controller)->crit_sect |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_enable_slot() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| PARAM_VALUE | 1 | status | 6711312557494784000 |
| PARAM_VALUE | 1 | *status | 0 |
| CAPPED_DATA | 0 | &slot->ctrl->crit_sect | 1 |
| DATA_SOURCE | 0 | slot | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &slot->ctrl->crit_sect | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct controller)->crit_sect |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_enable_slot() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| PARAM_VALUE | 0 | slot->ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | status | 4096-ptr_max |
| CAPPED_DATA | 0 | &slot->ctrl->crit_sect | 1 |
| DATA_SOURCE | 0 | slot | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &slot->ctrl->crit_sect | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct controller)->crit_sect |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_enable_slot() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| PARAM_VALUE | 0 | slot->ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | status | 4096-ptr_max |
| PARAM_VALUE | 1 | *status | 0-1 |
| CAPPED_DATA | 0 | slot->ctrl->pci_dev | 1 |
| CAPPED_DATA | 0 | &slot->ctrl->crit_sect | 1 |
| DATA_SOURCE | 0 | slot | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | slot->ctrl->pcix_misc2_reg | 0 |
| LOCK2 | 0 | &slot->ctrl->crit_sect | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct controller)->crit_sect |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_handle_attention_button() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0,4096-ptr_max |
| PARAM_VALUE | 1 | status | 11,4096-ptr_max |
| DATA_SOURCE | 0 | slot | r shpchp_find_slot |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_handle_presence_change() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0,4096-ptr_max |
| PARAM_VALUE | 1 | status | 11,4096-ptr_max |
| DATA_SOURCE | 0 | slot | r shpchp_find_slot |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/pci/hotplug/shpchp_ctrl.c shpchp_handle_switch_change() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0,4096-ptr_max |
| PARAM_VALUE | 1 | status | 11,4096-ptr_max |
| DATA_SOURCE | 0 | slot | r shpchp_find_slot |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/pci/hotplug/shpchp_ctrl.c update_slot_info() -> shpchp_get_adapter_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| PARAM_VALUE | 0 | slot->ctrl | 4096-ptr_max |
| PARAM_VALUE | 1 | status | 4096-ptr_max |
| DATA_SOURCE | 0 | slot | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | slot->ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | slot->ctrl->pcix_misc2_reg | 0 |
| HOST_DATA | 0 | slot->latch_save | 0-1 |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | 0 | &slot->ctrl->crit_sect | |
| HALF_LOCKED2 | 0 | &slot->lock |