soc/intel/xeon_sp/cpx: Fix PCU device IDs
[coreboot.git] / src / console / die.c
blobd9e1dee2b9669e2d5bf826a8593309573ef99761
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <halt.h>
5 #include <stdarg.h>
7 /*
8 * The method should be overwritten in mainboard directory to signal that a
9 * fatal error had occurred. On boards that do share the same EC and where the
10 * EC is capable of controlling LEDs or a buzzer the method can be overwritten
11 * in EC directory instead.
13 __weak void die_notify(void)
17 /* Report a fatal error */
18 void __noreturn die(const char *fmt, ...)
20 va_list args;
22 va_start(args, fmt);
23 vprintk(BIOS_EMERG, fmt, args);
24 va_end(args);
26 die_notify();
27 halt();