diff options
Diffstat (limited to 'framework')
-rw-r--r-- | framework/debug.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/framework/debug.c b/framework/debug.c index 0b9b8d8..eceb9b4 100644 --- a/framework/debug.c +++ b/framework/debug.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2014, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: @@ -28,6 +28,7 @@ * POSSIBILITY OF SUCH DAMAGE. */ +#include <console.h> #include <debug.h> #include <tftf.h> @@ -35,6 +36,9 @@ 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; } @@ -49,6 +53,9 @@ void __attribute__((__noreturn__)) do_bug_unreachable(const char *file, int line void __attribute__((__noreturn__)) do_panic(void) { printf("PANIC\n"); + + console_flush(); + while (1) continue; } |