diff options
Diffstat (limited to 'src/console/die.c')
| -rw-r--r-- | src/console/die.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/console/die.c b/src/console/die.c index 769e65134f..513d1c4097 100644 --- a/src/console/die.c +++ b/src/console/die.c @@ -36,4 +36,11 @@ void __noreturn die(const char *msg) die_notify(); halt(); } + +/* Report a fatal error with a post code */ +void __noreturn die_with_post_code(uint8_t value, const char *msg) +{ + post_code(value); + die(msg); +} #endif |