diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-15 16:52:32 +0100 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-22 10:26:05 +0100 |
| commit | cb6dbfe3dc56088895c06b0492cfce289288444e (patch) | |
| tree | ac2a1fcc019f806831e5dc49e1144fc4d87472d9 /include | |
| parent | 93c78ed231a6ea30f1c30ecbbb0f245fa9d75075 (diff) | |
tf_printf: Return number of printed characters
The C standard says that printf() has to return the number of characters
it has printed.
Change-Id: I0ef50b1d6766d140724ac0a2fa2c5d023431f984
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'include')
| -rw-r--r-- | include/common/debug.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/common/debug.h b/include/common/debug.h index f60dfc17..3c99ce50 100644 --- a/include/common/debug.h +++ b/include/common/debug.h @@ -90,10 +90,10 @@ void __dead2 do_panic(void); void __dead2 __stack_chk_fail(void); void tf_log(const char *fmt, ...) __printflike(1, 2); -void tf_printf(const char *fmt, ...) __printflike(1, 2); +int tf_printf(const char *fmt, ...) __printflike(1, 2); int tf_snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4); -void tf_vprintf(const char *fmt, va_list args); -void tf_string_print(const char *str); +int tf_vprintf(const char *fmt, va_list args); +int tf_string_print(const char *str); void tf_log_set_max_level(unsigned int log_level); #endif /* __ASSEMBLY__ */ |