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-or-later */
2 
3 #include <console/console.h>
4 #include <fsp/util.h>
5 
6 void chipset_handle_reset(uint32_t status)
7 {
8  die("Reset not implemented!\n");
9 }
die
void __noreturn die(const char *fmt,...)
Definition: die.c:17
chipset_handle_reset
void chipset_handle_reset(uint32_t status)
Definition: reset.c:6
uint32_t
unsigned int uint32_t
Definition: stdint.h:14