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