coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
reset.c
Go to the documentation of this file.
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
dcache_clean_all
void dcache_clean_all(void)
Definition: cache.c:14
printk
#define printk(level,...)
Definition: stdlib.h:16
__noreturn
#define __noreturn
Definition: compiler.h:31
halt
void __noreturn halt(void)
halt the system reliably
Definition: halt.c:6
board_reset
__noreturn void board_reset(void)
Definition: reset.c:8
BIOS_INFO
#define BIOS_INFO
BIOS_INFO - Expected events.
Definition: loglevel.h:113
BIOS_CRIT
#define BIOS_CRIT
BIOS_CRIT - Recovery unlikely.
Definition: loglevel.h:56
do_board_reset
void do_board_reset(void)
Definition: reset.c:8