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