1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright (c) 2015 Google, Inc 4 */ 5 6 #include <common.h> 7 #include <cpu_func.h> 8 #include <fdtdec.h> 9 #include <netdev.h> 10 arch_cpu_init(void)11int arch_cpu_init(void) 12 { 13 return x86_cpu_init_f(); 14 } 15 checkcpu(void)16int checkcpu(void) 17 { 18 return 0; 19 } 20 print_cpuinfo(void)21int print_cpuinfo(void) 22 { 23 return default_print_cpuinfo(); 24 } 25 board_final_cleanup(void)26void board_final_cleanup(void) 27 { 28 } 29 misc_init_r(void)30int misc_init_r(void) 31 { 32 return 0; 33 } 34