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