2018-05-07 06:58:06 +09:00
|
|
|
// SPDX-License-Identifier: GPL-2.0+
|
2015-08-05 03:33:46 +09:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2015 Google, Inc
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <common.h>
|
2019-11-15 04:57:34 +09:00
|
|
|
#include <cpu_func.h>
|
2015-08-05 03:33:46 +09:00
|
|
|
#include <fdtdec.h>
|
2020-05-11 02:40:02 +09:00
|
|
|
#include <init.h>
|
2015-08-05 03:33:46 +09:00
|
|
|
#include <netdev.h>
|
|
|
|
|
|
|
|
int arch_cpu_init(void)
|
|
|
|
{
|
2018-06-13 00:36:25 +09:00
|
|
|
return x86_cpu_init_f();
|
2015-08-05 03:33:46 +09:00
|
|
|
}
|
|
|
|
|
2017-03-29 01:27:30 +09:00
|
|
|
int checkcpu(void)
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2015-08-05 03:33:46 +09:00
|
|
|
int print_cpuinfo(void)
|
|
|
|
{
|
|
|
|
return default_print_cpuinfo();
|
|
|
|
}
|
|
|
|
|
2020-07-17 12:22:38 +09:00
|
|
|
void board_final_init(void)
|
2015-08-05 03:33:46 +09:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
int misc_init_r(void)
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|