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