Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/cpuidle/driver.c cpuidle_register_driver() -> cpuidle_switch_governor()

Type Parameter Key Value
PARAM_VALUE 0 gov 4096-ptr_max
DATA_SOURCE 0 gov r cpuidle_find_governor
LOCK2 global &cpuidle_lock

drivers/cpuidle/driver.c cpuidle_unregister_driver() -> cpuidle_switch_governor()

Type Parameter Key Value
PARAM_VALUE 0 gov 1-u64max
LOCK2 global &cpuidle_lock

drivers/cpuidle/sysfs.c store_current_governor() -> cpuidle_switch_governor()

Type Parameter Key Value
PARAM_VALUE 0 gov 4096-ptr_max
CAPPED_DATA 0 &gov->governor_list 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &cpuidle_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/cpuidle/governor.c cpuidle_register_governor() -> cpuidle_switch_governor()

Type Parameter Key Value
PARAM_VALUE 0 gov 2970390251885096960,3125675826216464384,3265519528411865088,7807376772710494208
PARAM_VALUE 0 gov->governor_list.next 3023153346831990784
PARAM_VALUE 0 gov->governor_list.prev 2970390251885096976,3023153346831990784,3125675826216464400,3265519528411865104,7807376772710494224
PARAM_VALUE 0 gov->rating 9-10,19-20,25
PARAM_VALUE 0 gov->select 270706468912488448,3567001837449895936,6919952664017076224,9048179384557649920
DATA_SOURCE 0 gov $0
NOCHECK_CALL
LOCK2 global &cpuidle_lock