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 <netdev.h>
  10
  11 int arch_cpu_init(void)
  12 {
  13         return x86_cpu_init_f();
  14 }
  15
  16 int checkcpu(void)
  17 {
  18         return 0;
  19 }
  20
  21 int print_cpuinfo(void)
  22 {
  23         return default_print_cpuinfo();
  24 }
  25
  26 void board_final_cleanup(void)
  27 {
  28 }
  29
  30 int misc_init_r(void)
  31 {
  32         return 0;
  33 }