Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cpu 0-8192
PARAM_VALUE 0 dev->device_list.next 4096-ptr_max
PARAM_VALUE 0 dev->device_list.prev 6216822654002184192
PARAM_VALUE 0 dev->enabled 0
PARAM_VALUE 0 dev->kobj_dev 4096-ptr_max
PARAM_VALUE 0 dev->kobj_dev->dev s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev->kobj_dev->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 dev->kobj_dev->kobj.state_in_sysfs 1
PARAM_VALUE 0 dev->kobj_dev->kobj.state_initialized 1
PARAM_VALUE 0 dev->kobj_dev->kobj_unregister.done 0
PARAM_VALUE 0 dev->kobj_dev->kobj_unregister.wait.lock.magic 3735899821
PARAM_VALUE 0 dev->kobj_dev->kobj_unregister.wait.lock.owner (-1)
PARAM_VALUE 0 dev->kobj_dev->kobj_unregister.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->last_residency_ns 0
PARAM_VALUE 0 dev->next_hrtimer 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
CAPPED_DATA 0 dev->cpu 1
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->cpu (-1),8-9,11-29,31-34,38
CONSTRAINT 0 dev->cpu <3035
MEM_ZERO 0 dev->states_usage
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/cpuidle/cpuidle.c cpuidle_unregister_device_no_lock() -> cpuidle_remove_sysfs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->registered 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cpuidle_lock
HALF_LOCKED2 &pool->lock