2 * Copyright (c) 2017 Intel Corporation
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/u-boot-x86.h>
11 DECLARE_GLOBAL_DATA_PTR;
14 * Miscellaneous platform dependent initializations
16 int arch_cpu_init(void)
18 return x86_cpu_init_f();
26 int print_cpuinfo(void)
28 return default_print_cpuinfo();
31 void reset_cpu(ulong addr)
33 scu_ipc_simple_command(IPCMSG_COLD_RESET, 0);