devfreq_get_freq_range identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/devfreq/devfreq.c, line 115

Defined in 1 files as a prototype:

include/linux/devfreq-governor.h, line 92 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 2 files:

Smatch caller information:

drivers/devfreq/governor_passive.c get_target_freq_with_cpufreq() -> devfreq_get_freq_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->data	4096-ptr_max
PARAM_VALUE	0	devfreq->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	devfreq->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	devfreq->dev.kobj.parent->kset->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	devfreq->dev.kobj.parent->kset->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	devfreq->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	devfreq->dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	devfreq->dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	devfreq->dev.kobj.release.wq->saved_min_active	s32min-s32max
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.first_waiter->list.prev->prev	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	1	min_freq	1658693465308016640
PARAM_VALUE	2	max_freq	4351981718159290368
BUF_SIZE	0	devfreq->data	(-1),8,72
BUF_SIZE	0	devfreq->freq_table	(-1),1-s32max
BUF_SIZE	0	devfreq->stats.time_in_state	(-1),8-s32max
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
NOCHECK_CALL
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
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/devfreq.c devfreq_summary_show() -> devfreq_get_freq_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
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
PARAM_VALUE	1	min_freq	5815504205246046208
PARAM_VALUE	2	max_freq	7729742755547693056
CAPPED_DATA	0	&devfreq->lock	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&s->lock
LOCK2		global &devfreq_list_lock
LOCK2	0	&devfreq->lock
TYPE_LOCK		(struct devfreq)->lock
TYPE_LOCK		(struct seq_file)->lock

drivers/devfreq/devfreq.c devfreq_update_target() -> devfreq_get_freq_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	devfreq	4096-ptr_max
PARAM_VALUE	0	devfreq->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	devfreq->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	devfreq->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	devfreq->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	devfreq->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	devfreq->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
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
PARAM_VALUE	1	min_freq	6835923090351738880
PARAM_VALUE	2	max_freq	1029210358159994880
BUF_SIZE	0	devfreq->data	(-1),8,72
BUF_SIZE	0	devfreq->freq_table	(-1),1-s32max
BUF_SIZE	0	devfreq->opp_table	(-1)-0,832
BUF_SIZE	0	devfreq->stats.time_in_state	(-1),8-s32max
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
NOCHECK_CALL
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-1
HOST_DATA	0	devfreq->profile->max_state	0-u32max
HOST_DATA	0	devfreq->profile->polling_ms	1000
HOST_DATA	0	devfreq->profile->timer	0-1
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
TYPE_LOCK		(struct devfreq)->lock

drivers/devfreq/devfreq.c max_freq_show() -> devfreq_get_freq_range()

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	1	min_freq	3322945346089369600
PARAM_VALUE	2	max_freq	2058464379016818688
CAPPED_DATA	0	&devfreq->lock	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/devfreq.c min_freq_show() -> devfreq_get_freq_range()

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	1	min_freq	7046075528318967808
PARAM_VALUE	2	max_freq	7545192369736998912
CAPPED_DATA	0	&devfreq->lock	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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