xref: /aosp_15_r20/external/coreboot/src/lib/reset.c (revision b9411a12aaaa7e1e6a6fb7c5e057f44ee179a49c) 
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)17 void do_board_reset(void)
18 {
19 	printk(BIOS_CRIT, "No board_reset implementation, hanging...\n");
20 }
21 #endif
22