diff options
Diffstat (limited to 'include/common/debug.h')
| -rw-r--r-- | include/common/debug.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/common/debug.h b/include/common/debug.h index a8dcb8da3..d198c321b 100644 --- a/include/common/debug.h +++ b/include/common/debug.h @@ -84,6 +84,6 @@ void __dead2 do_panic(void); #define panic() do_panic() -void tf_printf(const char *fmt, ...); +void tf_printf(const char *fmt, ...) __printflike(1, 2); #endif /* __DEBUG_H__ */ |