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 DECLARE_GLOBAL_DATA_PTR; 12 13 /* 14 * Miscellaneous platform dependent initializations 15 */ 16 int arch_cpu_init(void) 17 { 18 return x86_cpu_init_f(); 19 } 20 21 int checkcpu(void) 22 { 23 return 0; 24 } 25 26 int print_cpuinfo(void) 27 { 28 return default_print_cpuinfo(); 29 } 30 31 void reset_cpu(ulong addr) 32 { 33 scu_ipc_simple_command(IPCMSG_COLD_RESET, 0); 34 } 35