1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright (C) 2017, Bin Meng <bmeng.cn@gmail.com>
4  */
5 
6 #include <common.h>
7 #include <init.h>
8 #include <asm/mrccache.h>
9 #include <asm/post.h>
10 
arch_cpu_init(void)11 int arch_cpu_init(void)
12 {
13 	post_code(POST_CPU_INIT);
14 
15 	return x86_cpu_init_f();
16 }
17 
arch_misc_init(void)18 int arch_misc_init(void)
19 {
20 #ifdef CONFIG_ENABLE_MRC_CACHE
21 	/*
22 	 * We intend not to check any return value here, as even MRC cache
23 	 * is not saved successfully, it is not a severe error that will
24 	 * prevent system from continuing to boot.
25 	 */
26 	mrccache_save();
27 #endif
28 
29 	return 0;
30 }
31