1 /* 2 * Copyright (c) 2014 Google, Inc 3 * (C) Copyright 2008 4 * Graeme Russ, graeme.russ@gmail.com. 5 * 6 * Some portions from coreboot src/mainboard/google/link/romstage.c 7 * Copyright (C) 2007-2010 coresystems GmbH 8 * Copyright (C) 2011 Google Inc. 9 * 10 * SPDX-License-Identifier: GPL-2.0 11 */ 12 13 #include <common.h> 14 #include <asm/cpu.h> 15 #include <asm/processor.h> 16 17 DECLARE_GLOBAL_DATA_PTR; 18 19 int arch_cpu_init(void) 20 { 21 int ret; 22 23 timer_set_base(rdtsc()); 24 25 ret = x86_cpu_init_f(); 26 if (ret) 27 return ret; 28 29 return 0; 30 } 31 32 int print_cpuinfo(void) 33 { 34 char processor_name[CPU_MAX_NAME_LEN]; 35 const char *name; 36 37 /* Print processor name */ 38 name = cpu_get_name(processor_name); 39 printf("CPU: %s\n", name); 40 41 return 0; 42 } 43