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 #ifdef CONFIG_SYS_X86_TSC_TIMER
  14         timer_set_base(rdtsc());
  15 #endif
  16
  17         return 0;
  18 }
  19
  20 int board_early_init_f(void)
  21 {
  22         return 0;
  23 }
  24
  25 int print_cpuinfo(void)
  26 {
  27         return default_print_cpuinfo();
  28 }
  29
  30 void board_final_cleanup(void)
  31 {
  32 }
  33
  34 int misc_init_r(void)
  35 {
  36         return 0;
  37 }
  38
  39 int arch_misc_init(void)
  40 {
  41         return 0;
  42 }