1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2017 Intel Corporation
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();