1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright (c) 2017 Intel Corporation
4  */
5 
6 #include <common.h>
7 #include <cpu_func.h>
8 #include <init.h>
9 #include <asm/u-boot-x86.h>
10 
11 /*
12  * Miscellaneous platform dependent initializations
13  */
arch_cpu_init(void)14 int arch_cpu_init(void)
15 {
16 	return x86_cpu_init_f();
17 }
18 
checkcpu(void)19 int checkcpu(void)
20 {
21 	return 0;
22 }
23 
print_cpuinfo(void)24 int print_cpuinfo(void)
25 {
26 	return default_print_cpuinfo();
27 }
28