Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpuidle/cpuidle.c cpuidle_register_device() -> __cpuidle_register_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->last_residency_ns 0
PARAM_VALUE 0 dev->next_hrtimer 0
PARAM_VALUE 0 dev->registered 0
PARAM_VALUE 0 dev->states_usage->above 0
PARAM_VALUE 0 dev->states_usage->below 0
PARAM_VALUE 0 dev->states_usage->disable 0
PARAM_VALUE 0 dev->states_usage->rejected 0
PARAM_VALUE 0 dev->states_usage->s2idle_time 0
PARAM_VALUE 0 dev->states_usage->s2idle_usage 0
PARAM_VALUE 0 dev->states_usage->time_ns 0
PARAM_VALUE 0 dev->states_usage->usage 0
BUF_SIZE 0 dev (-1),800
BUF_SIZE 0 dev (-1),800
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->cpu (-1),8-9,11-29,31-34,38
MEM_ZERO 0 dev->states_usage
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock