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
15 #include <asm/processor.h>
17 DECLARE_GLOBAL_DATA_PTR;
19 int arch_cpu_init(void)
23 timer_set_base(rdtsc());
25 ret = x86_cpu_init_f();
32 int print_cpuinfo(void)
34 char processor_name[CPU_MAX_NAME_LEN];
37 /* Print processor name */
38 name = cpu_get_name(processor_name);
39 printf("CPU: %s\n", name);