src/soc/intel/common/reset.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <arch/cache.h>
   4 #include <cf9_reset.h>
   5 #include <console/console.h>
   6 #include <halt.h>
   7 #include <reset.h>
   8
   9 #include "reset.h"
  10
  11 void global_reset(void)
  12 {
  13         printk(BIOS_INFO, "%s() called!\n", __func__);
  14         cf9_reset_prepare();
  15         dcache_clean_all();
  16         do_global_reset();
  17         halt();
  18 }
  19
  20 void do_board_reset(void)
  21 {
  22         full_reset();
  23 }