src/lib/reset.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <arch/cache.h>
   4 #include <console/console.h>
   5 #include <halt.h>
   6 #include <reset.h>
   7
   8 __noreturn void board_reset(void)
   9 {
  10         printk(BIOS_INFO, "%s() called!\n", __func__);
  11         dcache_clean_all();
  12         do_board_reset();
  13         halt();
  14 }
  15
  16 #if CONFIG(MISSING_BOARD_RESET)
  17 void do_board_reset(void)
  18 {
  19         printk(BIOS_CRIT, "No board_reset implementation, hanging...\n");
  20 }
  21 #endif