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