xref: /rk3399_rockchip-uboot/arch/x86/cpu/efi/efi.c (revision 82f766d1d2c580a29bed340ea4dd9fa1b8ff05e0)
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 	return 0;
14 }
15 
16 int board_early_init_f(void)
17 {
18 	return 0;
19 }
20 
21 int checkcpu(void)
22 {
23 	return 0;
24 }
25 
26 int print_cpuinfo(void)
27 {
28 	return default_print_cpuinfo();
29 }
30 
31 void board_final_cleanup(void)
32 {
33 }
34 
35 int misc_init_r(void)
36 {
37 	return 0;
38 }
39 
40 int arch_misc_init(void)
41 {
42 	return 0;
43 }
44