arch/x86/cpu/efi/efi.c

   1 /*
   2  * Copyright (c) 2015 Google, Inc
   3  *
   4  * SPDX-License-Identifier:     GPL-2.0+
   5  */
   6
   7 #include <common.h>
   8 #include <fdtdec.h>
   9 #include <netdev.h>
  10
  11 int arch_cpu_init(void)
  12 {
  13         return 0;
  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 }