coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
fsp_reset.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <console/console.h>
4 #include <fsp/util.h>
6 
8 {
9  if (status == CONFIG_FSP_STATUS_GLOBAL_RESET) {
10  printk(BIOS_DEBUG, "GLOBAL RESET!\n");
11  global_reset();
12  }
13 
14  printk(BIOS_ERR, "unhandled reset type %x\n", status);
15  die("unknown reset type");
16 }
void chipset_handle_reset(uint32_t status)
Definition: fsp_reset.c:9
#define printk(level,...)
Definition: stdlib.h:16
void __noreturn die(const char *fmt,...)
Definition: die.c:17
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
Definition: loglevel.h:128
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
Definition: loglevel.h:72
void global_reset(void)
Definition: reset.c:11
unsigned int uint32_t
Definition: stdint.h:14