1 /* 2 * Copyright (c) 2015 Google, Inc 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #include <common.h> 8 #include <fdtdec.h> 9 #include <netdev.h> 10 11 int arch_cpu_init(void) 12 { 13 #ifdef CONFIG_SYS_X86_TSC_TIMER 14 timer_set_base(rdtsc()); 15 #endif 16 17 return 0; 18 } 19 20 int board_early_init_f(void) 21 { 22 return 0; 23 } 24 25 int print_cpuinfo(void) 26 { 27 return default_print_cpuinfo(); 28 } 29 30 void board_final_cleanup(void) 31 { 32 } 33 34 int misc_init_r(void) 35 { 36 return 0; 37 } 38 39 int arch_misc_init(void) 40 { 41 return 0; 42 } 43