1 /* 2 * Copyright (c) 2017 Intel Corporation 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #include <common.h> 8 #include <asm/scu.h> 9 #include <asm/u-boot-x86.h> 10 11 /* 12 * Miscellaneous platform dependent initializations 13 */ 14 int arch_cpu_init(void) 15 { 16 return x86_cpu_init_f(); 17 } 18 19 int checkcpu(void) 20 { 21 return 0; 22 } 23 24 int print_cpuinfo(void) 25 { 26 return default_print_cpuinfo(); 27 } 28 29 void reset_cpu(ulong addr) 30 { 31 scu_ipc_simple_command(IPCMSG_COLD_RESET, 0); 32 } 33