1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (c) 2017 Intel Corporation */ #include <common.h> #include <asm/u-boot-x86.h> /* * Miscellaneous platform dependent initializations */ int arch_cpu_init(void) { return x86_cpu_init_f(); } int checkcpu(void) { return 0; } int print_cpuinfo(void) { return default_print_cpuinfo(); }