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 
arch_cpu_init(void)10 int arch_cpu_init(void)
11 {
12 	return x86_cpu_init_f();
13 }
14 
checkcpu(void)15 int checkcpu(void)
16 {
17 	return 0;
18 }
19 
print_cpuinfo(void)20 int print_cpuinfo(void)
21 {
22 	return default_print_cpuinfo();
23 }
24 
board_final_cleanup(void)25 void board_final_cleanup(void)
26 {
27 }
28 
misc_init_r(void)29 int misc_init_r(void)
30 {
31 	return 0;
32 }
33