Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/processor_idle.c acpi_processor_hotplug() -> acpi_processor_setup_cpuidle_dev()

Type Parameter Key Value
PARAM_VALUE 0 pr 4096-ptr_max
PARAM_VALUE 0 pr->flags.power 1
PARAM_VALUE 0 pr->flags.power_setup_done 1
PARAM_VALUE 1 dev 4096-ptr_max
CAPPED_DATA 0 pr->id 1
DATA_SOURCE 0 pr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cpuidle_lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/acpi/processor_idle.c acpi_processor_power_init() -> acpi_processor_setup_cpuidle_dev()

Type Parameter Key Value
PARAM_VALUE 0 pr 4096-ptr_max
PARAM_VALUE 0 pr->flags.power 1
PARAM_VALUE 1 dev 4096-ptr_max
BUF_SIZE 0 pr (-1),24,32,88,104,108-1096,1616,2592
BUF_SIZE 0 pr (-1),24,32,88,104,108-1096,1616,2592
BUF_SIZE 1 dev 800
DATA_SOURCE 0 pr $0
DATA_SOURCE 1 dev r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock