diff options
| author | Dan Handley <dan.handley@arm.com> | 2014-07-25 14:54:38 +0100 |
|---|---|---|
| committer | Dan Handley <dan.handley@arm.com> | 2014-07-25 14:54:38 +0100 |
| commit | 705bf6806ba03169966a7c7df53a195d0255fefa (patch) | |
| tree | d10f1c88279c9c5d481c82d6302d3989abc9bb3c /common/debug.c | |
| parent | a1a441775f64da2cbbd42c4f2c6f818f93278fca (diff) | |
| parent | b79af9344503b2d7b435451cfb8b1ab80b8afdf4 (diff) | |
Merge pull request #174 from soby-mathew:sm/lean_printf_v2
Implement a leaner printf for Trusted Firmware
Diffstat (limited to 'common/debug.c')
| -rw-r--r-- | common/debug.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/common/debug.c b/common/debug.c index 0f59ed5e..be54f5de 100644 --- a/common/debug.c +++ b/common/debug.c @@ -29,6 +29,7 @@ */ #include <console.h> #include <debug.h> +#include <stdarg.h> #include <stdio.h> /****************************************************************** @@ -73,7 +74,7 @@ void print_string_value(char *s, unsigned long *mem) #if DEBUG void __dead2 do_panic(const char *file, int line) { - printf("PANIC in file: %s line: %d\n", file, line); + tf_printf("PANIC in file: %s line: %d\n", file, line); while (1) ; } @@ -87,7 +88,7 @@ void __dead2 do_panic(void) /* x30 reports the next eligible instruction whereas we want the * place where panic() is invoked. Hence decrement by 4. */ - printf("PANIC in PC location 0x%016X\n", pc_reg - 0x4); + tf_printf("PANIC in PC location 0x%016X\n", pc_reg - 0x4); while (1) ; |