13ebd892fSBin Meng // SPDX-License-Identifier: GPL-2.0+ 23ebd892fSBin Meng /* 33ebd892fSBin Meng * Copyright (c) 2015 Google, Inc 43ebd892fSBin Meng */ 53ebd892fSBin Meng 63ebd892fSBin Meng #include <common.h> 73ebd892fSBin Meng #include <fdtdec.h> 83ebd892fSBin Meng #include <netdev.h> 93ebd892fSBin Meng 103ebd892fSBin Meng int arch_cpu_init(void) 113ebd892fSBin Meng { 12*01020239SBin Meng return x86_cpu_init_f(); 133ebd892fSBin Meng } 143ebd892fSBin Meng 153ebd892fSBin Meng int checkcpu(void) 163ebd892fSBin Meng { 173ebd892fSBin Meng return 0; 183ebd892fSBin Meng } 193ebd892fSBin Meng 203ebd892fSBin Meng int print_cpuinfo(void) 213ebd892fSBin Meng { 223ebd892fSBin Meng return default_print_cpuinfo(); 233ebd892fSBin Meng } 243ebd892fSBin Meng 253ebd892fSBin Meng void board_final_cleanup(void) 263ebd892fSBin Meng { 273ebd892fSBin Meng } 283ebd892fSBin Meng 293ebd892fSBin Meng int misc_init_r(void) 303ebd892fSBin Meng { 313ebd892fSBin Meng return 0; 323ebd892fSBin Meng } 33