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 board_reset(void)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) do_board_reset(void)17void do_board_reset(void) 18 { 19 printk(BIOS_CRIT, "No board_reset implementation, hanging...\n"); 20 } 21 #endif 22