Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/sfc/falcon/efx.c ef4_pm_suspend() -> ef4_pm_poweroff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_data->active_queues.counter | 0 |
| PARAM_VALUE | 0 | dev->driver_data->biu_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->irq_soft_enabled | 0 |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->driver_data->mac_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->driver_data->mac_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->monitor_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->net_dev->addr_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->net_dev->tx_global_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->nic_data->stats_disable_count | 0-4294967295 |
| PARAM_VALUE | 0 | dev->driver_data->nic_data->stats_pending | 0 |
| PARAM_VALUE | 0 | dev->driver_data->nic_data->stats_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | dev->driver_data->nic_data->stats_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | dev->driver_data->nic_data->stats_timer.function | 0 |
| PARAM_VALUE | 0 | dev->driver_data->port_enabled | 0 |
| PARAM_VALUE | 0 | dev->driver_data->rxq_flush_outstanding.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->driver_data->rxq_flush_pending.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->driver_data->selftest_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->driver_data->state | 0 |
| PARAM_VALUE | 0 | dev->driver_data->stats_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->driver_data->net_dev->name | 0-255 |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/scsi/scsi_pm.c do_scsi_poweroff() -> (struct dev_pm_ops)->poweroff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->parent->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->parent->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->parent->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->type | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/base/platform.c platform_pm_poweroff() -> (struct dev_pm_ops)->poweroff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->pm | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->pm->poweroff | 1-u64max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/pci/pci-driver.c pci_pm_poweroff() -> (struct dev_pm_ops)->poweroff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->pm->poweroff | 1-u64max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/base/power/generic_ops.c pm_generic_poweroff() -> (struct dev_pm_ops)->poweroff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/base/power/main.c dpm_run_callback() -> dpm_run_callback param 0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.direct_complete | 0 |
| PARAM_VALUE | 0 | dev->power.syscore | 0 |
| BUF_SIZE | 0 | dev | (-1),16,24,56,64,120,1616,7104 |
| BUF_SIZE | 0 | dev | (-1),16,24,56,64,120,1616,7104 |
| DATA_SOURCE | 0 | dev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | 0 | &dev->mutex |