2 * Copyright (c) 2014 Google, Inc
4 * Graeme Russ, graeme.russ@gmail.com.
6 * Some portions from coreboot src/mainboard/google/link/romstage.c
7 * Copyright (C) 2007-2010 coresystems GmbH
8 * Copyright (C) 2011 Google Inc.
10 * SPDX-License-Identifier: GPL-2.0
17 #include <asm/processor.h>
19 DECLARE_GLOBAL_DATA_PTR;
21 int arch_cpu_init(void)
23 struct pci_controller *hose;
26 post_code(POST_CPU_INIT);
27 timer_set_base(rdtsc());
29 ret = x86_cpu_init_f();
33 ret = pci_early_init_hose(&hose);
40 int print_cpuinfo(void)
42 char processor_name[CPU_MAX_NAME_LEN];
45 /* Print processor name */
46 name = cpu_get_name(processor_name);
47 printf("CPU: %s\n", name);