Defined in 2 files as a function:
- drivers/acpi/processor_idle.c, line 822 (as a function)
- drivers/acpi/processor_idle.c, line 837 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/acpi/processor_idle.c acpi_processor_register_idle_driver() -> acpi_processor_update_max_cstate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |