arch/x86/cpu/tangier/tangier.c

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright (c) 2017 Intel Corporation
   4  */
   5
   6 #include <common.h>
   7 #include <asm/scu.h>
   8 #include <asm/u-boot-x86.h>
   9
  10 /*
  11  * Miscellaneous platform dependent initializations
  12  */
  13 int arch_cpu_init(void)
  14 {
  15         return x86_cpu_init_f();
  16 }
  17
  18 int checkcpu(void)
  19 {
  20         return 0;
  21 }
  22
  23 int print_cpuinfo(void)
  24 {
  25         return default_print_cpuinfo();
  26 }
  27
  28 void reset_cpu(ulong addr)
  29 {
  30         scu_ipc_simple_command(IPCMSG_COLD_RESET, 0);
  31 }