1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2017, Bin Meng <bmeng.cn@gmail.com>
7 #include <asm/mrccache.h>
10 int arch_cpu_init(void)
12 post_code(POST_CPU_INIT);
14 return x86_cpu_init_f();
17 int arch_misc_init(void)
19 #ifdef CONFIG_ENABLE_MRC_CACHE
21 * We intend not to check any return value here, as even MRC cache
22 * is not saved successfully, it is not a severe error that will
23 * prevent system from continuing to boot.
31 void reset_cpu(ulong addr)