| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 7 | #include <debug.h> |
| Antonio Nino Diaz | 09a00ef | 2019-01-11 13:12:58 +0000 | [diff] [blame^] | 8 | #include <drivers/console.h> |
| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 9 | |
| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 10 | void __attribute__((__noreturn__)) do_panic(const char *file, int line) |
| 11 | { |
| 12 | printf("PANIC in file: %s line: %d\n", file, line); |
| 13 | |
| 14 | console_flush(); |
| 15 | |
| 16 | while (1) |
| 17 | continue; |
| 18 | } |
| 19 | |
| 20 | void __attribute__((__noreturn__)) do_bug_unreachable(const char *file, int line) |
| 21 | { |
| 22 | mp_printf("BUG: Unreachable code!\n"); |
| 23 | do_panic(file, line); |
| 24 | } |