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 <bl_uapp/bl_syscall_public.h>
4 #include <console/console.h>
5 #include <reset.h>
6 
7 void do_board_reset(void)
8 {
9  printk(BIOS_ERR, "Resetting the board now.\n");
10  svc_reset_system(RESET_TYPE_COLD);
11 }
RESET_TYPE_COLD
@ RESET_TYPE_COLD
Definition: acpi_fm350gl.c:33
svc_reset_system
uint32_t svc_reset_system(enum reset_type reset_type)
Definition: svc.c:108
printk
#define printk(level,...)
Definition: stdlib.h:16
BIOS_ERR
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
Definition: loglevel.h:72
do_board_reset
void do_board_reset(void)
Definition: reset.c:8