linux/drivers/acpi/processor_core.c
<<