xref: /openbmc/linux/drivers/acpi/processor_idle.c (revision fbd568a3)