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