Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpufreq/cpufreq.c cpufreq_online() -> (struct cpufreq_driver)->ready()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->constraints.max_freq.list.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 policy->constraints.max_freq.list.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->constraints.max_freq.list.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->constraints.max_freq.notifiers->head 1-u64max
PARAM_VALUE 0 policy->constraints.min_freq.list.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 policy->constraints.min_freq.list.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->constraints.min_freq.list.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->constraints.min_freq.notifiers->head 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->kobj_unregister.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.next->next 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->policy_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->rwsem.dep_map->name 0-255
PARAM_VALUE 0 policy->transition_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 policy->transition_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->transition_wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 policy (-1),1576
BUF_SIZE 0 policy (-1),1576
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sp->mutex