1 // SPDX-License-Identifier: GPL-2.0+
8 #include <asm/mrccache.h>
11 int arch_cpu_init(void)
13 post_code(POST_CPU_INIT);
15 return x86_cpu_init_f();
18 int arch_misc_init(void)
20 #ifdef CONFIG_ENABLE_MRC_CACHE
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.