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
16 #include <asm/processor.h>
18 DECLARE_GLOBAL_DATA_PTR;
20 int arch_cpu_init(void)
24 post_code(POST_CPU_INIT);
25 timer_set_base(rdtsc());
27 ret = x86_cpu_init_f();
34 int print_cpuinfo(void)
36 char processor_name[CPU_MAX_NAME_LEN];
39 /* Print processor name */
40 name = cpu_get_name(processor_name);
41 printf("CPU: %s\n", name);