1 /* 2 * Copyright (C) 2017, Bin Meng <bmeng.cn@gmail.com> 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #include <common.h> 8 #include <asm/mrccache.h> 9 #include <asm/post.h> 10 11 int arch_cpu_init(void) 12 { 13 post_code(POST_CPU_INIT); 14 15 return x86_cpu_init_f(); 16 } 17 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 32 void reset_cpu(ulong addr) 33 { 34 /* cold reset */ 35 x86_full_reset(); 36 } 37