arch/x86/cpu/efi/app.c

   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
  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
  27 void board_final_cleanup(void)
  28 {
  29 }
  30
  31 int misc_init_r(void)
  32 {
  33         return 0;
  34 }