Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/devfreq/devfreq-event.c, line 112 (as a function)
- include/linux/devfreq-event.h, line 136 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/devfreq/devfreq-event.c devfreq_event_get_event() -> devfreq_event_is_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc->ops->get_event | 5193257350030962688,5649257661034704896,5946523351839465472,7964275055288193024 |
| DATA_SOURCE | 0 | edev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &df->lock | ||
| TYPE_LOCK | (struct devfreq)->lock |
drivers/devfreq/devfreq-event.c devfreq_event_reset_event() -> devfreq_event_is_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc | 1-u64max |
| DATA_SOURCE | 0 | edev | $0 |
drivers/devfreq/devfreq-event.c devfreq_event_set_event() -> devfreq_event_is_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->desc->ops->set_event | 3468577793085882368,5282441703772188672,5334931518659002368,7749276301214478336 |
| DATA_SOURCE | 0 | edev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &df->lock |