1 /*
2  * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #include <common.h>
8 #include <mmc.h>
9 #include <pci_ids.h>
10 #include <asm/irq.h>
11 #include <asm/mrccache.h>
12 #include <asm/post.h>
13 
14 #ifndef CONFIG_EFI_APP
15 int arch_cpu_init(void)
16 {
17 	post_code(POST_CPU_INIT);
18 
19 	return x86_cpu_init_f();
20 }
21 
22 int arch_misc_init(void)
23 {
24 	if (!ll_boot_init())
25 		return 0;
26 
27 #ifdef CONFIG_ENABLE_MRC_CACHE
28 	/*
29 	 * We intend not to check any return value here, as even MRC cache
30 	 * is not saved successfully, it is not a severe error that will
31 	 * prevent system from continuing to boot.
32 	 */
33 	mrccache_save();
34 #endif
35 
36 	return 0;
37 }
38 
39 #endif
40 
41 void reset_cpu(ulong addr)
42 {
43 	/* cold reset */
44 	x86_full_reset();
45 }
46