1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2017 Intel Corporation
7 #include <asm/u-boot-x86.h>
10 * Miscellaneous platform dependent initializations
12 int arch_cpu_init(void)
14 return x86_cpu_init_f();
22 int print_cpuinfo(void)
24 return default_print_cpuinfo();