1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (c) 2015 Google, Inc 4 */ 5 6#include <common.h> 7#include <cpu_func.h> 8#include <fdtdec.h> 9#include <init.h> 10#include <netdev.h> 11 12int arch_cpu_init(void) 13{ 14 return x86_cpu_init_f(); 15} 16 17int checkcpu(void) 18{ 19 return 0; 20} 21 22int print_cpuinfo(void) 23{ 24 return default_print_cpuinfo(); 25} 26 27void board_final_init(void) 28{ 29} 30 31int misc_init_r(void) 32{ 33 return 0; 34} 35