9 if (status == CONFIG_FSP_STATUS_GLOBAL_RESET) {
15 die(
"unknown reset type");
void chipset_handle_reset(uint32_t status)
#define printk(level,...)
void __noreturn die(const char *fmt,...)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.