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 <asm/mrccache.h> 8 #include <asm/post.h> 9 arch_cpu_init(void)10int arch_cpu_init(void) 11 { 12 post_code(POST_CPU_INIT); 13 14 return x86_cpu_init_f(); 15 } 16 arch_misc_init(void)17int arch_misc_init(void) 18 { 19 #ifdef CONFIG_ENABLE_MRC_CACHE 20 /* 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. 24 */ 25 mrccache_save(); 26 #endif 27 28 return 0; 29 } 30 reset_cpu(ulong addr)31void reset_cpu(ulong addr) 32 { 33 /* cold reset */ 34 x86_full_reset(); 35 } 36