Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/cpufreq.c __cpufreq_offline() -> (struct cpufreq_driver)->exit()

Type Parameter Key Value
PARAM_VALUE 0 pol 4096-ptr_max
PARAM_VALUE 0 pol->cpus->bits 4096-ptr_max
DATA_SOURCE 0 pol $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &pol->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem

drivers/cpufreq/cpufreq.c cpufreq_policy_online() -> (struct cpufreq_driver)->exit()

Type Parameter Key Value
PARAM_VALUE 0 pol 4096-ptr_max
PARAM_VALUE 0 pol->constraints.max_freq.default_value s32max
PARAM_VALUE 0 pol->constraints.max_freq.no_constraint_value s32max
PARAM_VALUE 0 pol->constraints.max_freq.notifiers 4096-ptr_max
PARAM_VALUE 0 pol->constraints.max_freq.notifiers->head 1-u64max
PARAM_VALUE 0 pol->constraints.max_freq.target_value s32max
PARAM_VALUE 0 pol->constraints.max_freq.type 2
PARAM_VALUE 0 pol->constraints.min_freq.notifiers->head 4096-ptr_max
PARAM_VALUE 0 pol->cpu 0-s32max
PARAM_VALUE 0 pol->cpus 1-u64max
PARAM_VALUE 0 pol->governor->exit 0,4096-ptr_max
PARAM_VALUE 0 pol->governor->flags 0-2
PARAM_VALUE 0 pol->governor->init 0,4096-ptr_max
PARAM_VALUE 0 pol->governor->limits 0,4096-ptr_max
PARAM_VALUE 0 pol->governor->owner 0,4096-ptr_max
PARAM_VALUE 0 pol->governor->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 pol->governor->show_setspeed 0,6023193915670159360
PARAM_VALUE 0 pol->governor->start 0,1003581222405033984,1981512506854174720,2763010142926921728
PARAM_VALUE 0 pol->governor->stop 0,4096-ptr_max
PARAM_VALUE 0 pol->governor->store_setspeed 0,5607523499178598400
PARAM_VALUE 0 pol->kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 pol->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 pol->kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 0 pol->kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 pol->kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pol->kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pol->kobj.ktype 4096-ptr_max
PARAM_VALUE 0 pol->kobj.parent 4096-ptr_max
PARAM_VALUE 0 pol->kobj.sd 4096-ptr_max
PARAM_VALUE 0 pol->kobj.state_add_uevent_sent 0
PARAM_VALUE 0 pol->kobj.state_in_sysfs 1
PARAM_VALUE 0 pol->kobj.state_initialized 1
PARAM_VALUE 0 pol->kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 pol->kobj_unregister.done 0
PARAM_VALUE 0 pol->kobj_unregister.wait.lock.magic 3735899821
PARAM_VALUE 0 pol->kobj_unregister.wait.lock.owner (-1)
PARAM_VALUE 0 pol->kobj_unregister.wait.lock.owner_cpu u32max
PARAM_VALUE 0 pol->kobj_unregister.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 pol->kobj_unregister.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 pol->kobj_unregister.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 pol->kobj_unregister.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pol->kobj_unregister.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pol->nb_max.next 0,4096-ptr_max
PARAM_VALUE 0 pol->nb_max.notifier_call 7616948675267461120
PARAM_VALUE 0 pol->nb_min.next 0,4096-ptr_max
PARAM_VALUE 0 pol->nb_min.notifier_call 2421879883277840384
PARAM_VALUE 0 pol->policy_list.next 4096-ptr_max
PARAM_VALUE 0 pol->policy_list.next->next 4096-ptr_max
PARAM_VALUE 0 pol->policy_list.prev 4096-ptr_max
PARAM_VALUE 0 pol->policy_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pol->policy_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pol->real_cpus 1-u64max
PARAM_VALUE 0 pol->related_cpus 1-u64max
PARAM_VALUE 0 pol->rwsem.dep_map->name 0-255
PARAM_VALUE 0 pol->transition_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 pol->transition_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pol->transition_wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 pol (-1),1576
BUF_SIZE 0 pol (-1),1576
CAPPED_DATA 0 pol->cpu 1
CAPPED_DATA 0 pol->kobj.sd 1
DATA_SOURCE 0 pol $0
STR_LEN 0 pol (-1),8-9,11-29,31-34,38
STR_LEN 0 pol (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pol->driver_data->cur.aperf s64min-s64max
HOST_DATA 0 pol->driver_data->cur.mperf s64min-s64max
HOST_DATA 0 pol->driver_data->prev.aperf s64min-s64max
HOST_DATA 0 pol->driver_data->prev.mperf s64min-s64max
NO_OVERFLOW_SIMPLE 0 pol->max
LOCK2 0 &pol->rwsem
HALF_LOCKED2 &sp->mutex
TYPE_LOCK (struct cpufreq_policy)->rwsem

drivers/cpufreq/cpufreq.c cpufreq_remove_dev() -> (struct cpufreq_driver)->exit()

Type Parameter Key Value
PARAM_VALUE 0 pol 4096-ptr_max
PARAM_VALUE 0 pol->cdev->device.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pol->governor->start 0,4096-ptr_max
PARAM_VALUE 0 pol->real_cpus->bits 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pol->driver_data->cur.aperf s64min-s64max
HOST_DATA 0 pol->driver_data->cur.mperf s64min-s64max
HOST_DATA 0 pol->driver_data->prev.aperf s64min-s64max
HOST_DATA 0 pol->driver_data->prev.mperf s64min-s64max
LOCK2 &sp->mutex
LOCK2 0 &pol->rwsem
TYPE_LOCK (struct cpufreq_policy)->rwsem
TYPE_LOCK (struct subsys_private)->mutex