Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/processor_idle.c acpi_processor_setup_cpuidle_states() -> acpi_processor_setup_cstates()

Type Parameter Key Value
PARAM_VALUE 0 pr 4096-ptr_max
PARAM_VALUE 0 pr->flags.bm_control 0
PARAM_VALUE 0 pr->flags.has_cst 1
PARAM_VALUE 0 pr->flags.has_lpi 0
PARAM_VALUE 0 pr->flags.power 1
PARAM_VALUE 0 pr->flags.power_setup_done 1
PARAM_VALUE 0 pr->power.states->address 0
PARAM_VALUE 0 pr->power.states->bm_sts_skip 0
PARAM_VALUE 0 pr->power.states->entry_method 0
PARAM_VALUE 0 pr->power.states->index 0
PARAM_VALUE 0 pr->power.states->latency 0
PARAM_VALUE 0 pr->power.states->type 0
PARAM_VALUE 0 pr->power.states->valid 0
PARAM_VALUE 0 pr->power.timer_broadcast_on_state 1-7,s32max
CAPPED_DATA 0 pr->id 1
DATA_SOURCE 0 pr $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock