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