x86/cpu/cpu.c

2  * (C) Copyright 2008-2011
9  * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
13  * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
19  * SPDX-License-Identifier:	GPL-2.0+
41 #include <asm/processor-flags.h>
44 #include <linux/compiler.h>
110 /* Define these functions to allow ehch-hcd to function */
168 	name[CPU_MAX_NAME_LEN - 1] = '\0';  in cpu_get_name()
181 	       cpu_has_64bit() ? "x86_64" : "x86",  in default_print_cpuinfo()
182 	       cpu_vendor_name(gd->arch.x86_vendor), gd->arch.x86_device);  in default_print_cpuinfo()
186 	      acpi_ss_string(gd->arch.prev_sleep_state));  in default_print_cpuinfo()
213 	if (fadt != NULL && gd->arch.prev_sleep_state == ACPI_S3)  in last_stage_init()
232 	 * This causes the cpu-x86 driver to be probed.  in x86_init_cpus()
256 	 * may have had some limited pre-relocation init if they were probed  in cpu_init_r()