update_devfreq identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/devfreq/devfreq.c, line 432

Defined in 1 files as a prototype:

include/linux/devfreq.h, line 251 (as a prototype)

Defined in 1 files as a function:

drivers/devfreq/devfreq.c, line 439 (as a function)

Referenced in 6 files:

Smatch caller information:

drivers/devfreq/governor_userspace.c set_freq_store() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->governor_data	4096-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
CAPPED_DATA	0	&devfreq->lock	1
RX_PATH
TASK_NOT_RUNNING
LOCK2		&of->mutex
LOCK2	0	&devfreq->lock
HALF_LOCKED2		&of->prealloc_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct devfreq)->lock
TYPE_LOCK		(struct kernfs_open_file)->mutex

drivers/devfreq/governor_powersave.c devfreq_powersave_handler() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	devfreq->governor	4096-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
BUF_SIZE	0	devfreq	(-1),3608
BUF_SIZE	0	devfreq	(-1),3608
BUF_SIZE	0	devfreq->data	(-1),8,72
BUF_SIZE	0	devfreq->opp_table	(-1)-s32max
BUF_SIZE	0	devfreq->stats.time_in_state	(-1),8-s32max
CAPPED_DATA	0	&devfreq->lock	1
DATA_SOURCE	0	devfreq	$0
STR_LEN	0	devfreq->dev.parent	(-1)
STR_LEN	0	devfreq->user_max_freq_req.dev	(-1)
STR_LEN	0	devfreq->user_min_freq_req.dev	(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	devfreq->last_status.current_frequency	0-u64max
HOST_DATA	0	devfreq->max_state	1-u32max[c]
HOST_DATA	0	devfreq->previous_freq	0-u64max
HOST_DATA	0	devfreq->profile->initial_freq	0-u64max
HOST_DATA	0	devfreq->profile->is_cooling_device	0
HOST_DATA	0	devfreq->profile->max_state	0-u32max
HOST_DATA	0	devfreq->profile->polling_ms	1000
HOST_DATA	0	devfreq->profile->timer	0
HOST_DATA	0	devfreq->user_max_freq_req->dev->driver_data	0-u64max
HOST_DATA	0	devfreq->user_min_freq_req->dev->driver_data	0-u64max
NO_OVERFLOW_SIMPLE	0	devfreq->max_state
NO_OVERFLOW_SIMPLE	0	devfreq->profile->max_state
LOCK2	0	&devfreq->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &devfreq_list_lock
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/governor_performance.c devfreq_performance_handler() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	devfreq->governor	4096-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
BUF_SIZE	0	devfreq	(-1),3608
BUF_SIZE	0	devfreq	(-1),3608
BUF_SIZE	0	devfreq->data	(-1),8,72
BUF_SIZE	0	devfreq->opp_table	(-1)-s32max
BUF_SIZE	0	devfreq->stats.time_in_state	(-1),8-s32max
CAPPED_DATA	0	&devfreq->lock	1
DATA_SOURCE	0	devfreq	$0
STR_LEN	0	devfreq->dev.parent	(-1)
STR_LEN	0	devfreq->user_max_freq_req.dev	(-1)
STR_LEN	0	devfreq->user_min_freq_req.dev	(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	devfreq->last_status.current_frequency	0-u64max
HOST_DATA	0	devfreq->max_state	1-u32max[c]
HOST_DATA	0	devfreq->previous_freq	0-u64max
HOST_DATA	0	devfreq->profile->initial_freq	0-u64max
HOST_DATA	0	devfreq->profile->is_cooling_device	0
HOST_DATA	0	devfreq->profile->max_state	0-u32max
HOST_DATA	0	devfreq->profile->polling_ms	1000
HOST_DATA	0	devfreq->profile->timer	0
HOST_DATA	0	devfreq->user_max_freq_req->dev->driver_data	0-u64max
HOST_DATA	0	devfreq->user_min_freq_req->dev->driver_data	0-u64max
NO_OVERFLOW_SIMPLE	0	devfreq->max_state
NO_OVERFLOW_SIMPLE	0	devfreq->profile->max_state
LOCK2	0	&devfreq->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &devfreq_list_lock
TYPE_LOCK		(struct devfreq)->lock

drivers/memory/samsung/exynos5422-dmc.c dmc_irq_thread() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
CAPPED_DATA	0	&devfreq->lock	1
RX_PATH
TASK_NOT_RUNNING
LOCK2	0	&devfreq->lock
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/tegra30-devfreq.c actmon_thread_isr() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	devfreq->profile	4096-ptr_max
CAPPED_DATA	0	&devfreq->lock	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&devfreq->lock
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/tegra30-devfreq.c tegra_actmon_delayed_update() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
CAPPED_DATA	0	&devfreq->lock	1
NOCHECK_CALL
LOCK2	0	&devfreq->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/devfreq.c devfreq_monitor() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
CAPPED_DATA	0	&devfreq->lock	1
LOCK2	0	&devfreq->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/devfreq.c devfreq_notifier_call() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->dev.parent	0-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	devfreq->scaling_max_freq	1-u64max
PARAM_VALUE	0	devfreq->scaling_min_freq	1-u64max
CAPPED_DATA	0	devfreq->dev.parent	1
CAPPED_DATA	0	&devfreq->lock	1
LOCK2	0	&devfreq->lock
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/devfreq.c qos_notifier_call() -> update_devfreq()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	devfreq->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	devfreq->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devfreq->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	devfreq->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	devfreq->lock.wait_lock.owner_cpu	u32max
CAPPED_DATA	0	&devfreq->lock	1
DATA_SOURCE	0	devfreq	$0
LOCK2	0	&devfreq->lock
TYPE_LOCK		(struct devfreq)->lock