blob: 0927ed474c08fa4702f38fb4ee7b840fd5f278c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
/*
* Copyright (c) 2018, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <console.h>
#include <debug.h>
void __attribute__((__noreturn__)) do_panic(const char *file, int line)
{
printf("PANIC in file: %s line: %d\n", file, line);
console_flush();
while (1)
continue;
}
void __attribute__((__noreturn__)) do_bug_unreachable(const char *file, int line)
{
mp_printf("BUG: Unreachable code!\n");
do_panic(file, line);
}
|