Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/hotplug/shpchp_hpc.c shpc_poll_ctrl_busy() -> is_ctrl_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->ctrl->cmd_lock | ||
| HALF_LOCKED2 | &slot->lock | ||
| HALF_LOCKED2 | 0 | &ctrl->cmd_lock | |
| HALF_LOCKED2 | 0 | &ctrl->crit_sect | |
| TYPE_LOCK | (struct controller)->cmd_lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_poll_ctrl_busy() -> is_ctrl_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->ctrl->cmd_lock | ||
| HALF_LOCKED2 | &slot->lock | ||
| HALF_LOCKED2 | 0 | &ctrl->cmd_lock | |
| HALF_LOCKED2 | 0 | &ctrl->crit_sect | |
| TYPE_LOCK | (struct controller)->cmd_lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_wait_cmd() -> is_ctrl_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| LOCK2 | 0 | &ctrl->cmd_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->lock | ||
| HALF_LOCKED2 | 0 | &ctrl->crit_sect | |
| TYPE_LOCK | (struct controller)->cmd_lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_wait_cmd() -> is_ctrl_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| LOCK2 | 0 | &ctrl->cmd_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->lock | ||
| HALF_LOCKED2 | 0 | &ctrl->crit_sect | |
| TYPE_LOCK | (struct controller)->cmd_lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_wait_cmd() -> is_ctrl_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| LOCK2 | 0 | &ctrl->cmd_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->lock | ||
| HALF_LOCKED2 | 0 | &ctrl->crit_sect | |
| TYPE_LOCK | (struct controller)->cmd_lock |
drivers/pci/hotplug/shpchp_hpc.c shpc_wait_cmd() -> is_ctrl_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctrl | 4096-ptr_max |
| DATA_SOURCE | 0 | ctrl | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctrl->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | ctrl->pcix_misc2_reg | 0 |
| LOCK2 | 0 | &ctrl->cmd_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &slot->lock | ||
| HALF_LOCKED2 | 0 | &ctrl->crit_sect | |
| TYPE_LOCK | (struct controller)->cmd_lock |