Documented in 1 files:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpuidle/driver.c cpuidle_get_cpu_driver() -> __cpuidle_get_cpu_driver()

Type Parameter Key Value
STR_LEN 0 cpu (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &cpuidle_lock

drivers/cpuidle/driver.c cpuidle_get_driver() -> __cpuidle_get_cpu_driver()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cpuidle_driver_lock