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 <amdblocks/reset.h>
4 #include <assert.h>
5 #include <console/console.h>
6 #include <fsp/util.h>
7 #include <stdint.h>
8 
10 {
11  printk(BIOS_ERR, "unexpected call to %s(0x%08x). Doing cold reset.\n",
12  __func__, status);
13  BUG();
14  do_cold_reset();
15 }
void chipset_handle_reset(uint32_t status)
Definition: fsp_reset.c:9
#define BUG()
Definition: assert.h:65
#define printk(level,...)
Definition: stdlib.h:16
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
Definition: loglevel.h:72
void do_cold_reset(void)
Definition: reset.c:10
unsigned int uint32_t
Definition: stdint.h:14