diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-08-22 14:40:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-22 14:40:50 +0100 |
commit | 6d4f6aea2cd96a4a57ffa2d88b9230e2cab88f28 (patch) | |
tree | 251ed2d6ebe98576eaa9e1871f3aef753552125b /include/common/debug.h | |
parent | 11dfe0b49ac8fcb5d1b516a3f52b06bc433ff4d9 (diff) | |
parent | 8422a8406b7d2d8e01c113e24eca167854981dfe (diff) |
Merge pull request #1528 from antonio-nino-diaz-arm/an/libc
libc: Cleanup library
Diffstat (limited to 'include/common/debug.h')
-rw-r--r-- | include/common/debug.h | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/include/common/debug.h b/include/common/debug.h index 99f402c0..4c5560f5 100644 --- a/include/common/debug.h +++ b/include/common/debug.h @@ -4,8 +4,8 @@ * SPDX-License-Identifier: BSD-3-Clause */ -#ifndef __DEBUG_H__ -#define __DEBUG_H__ +#ifndef DEBUG_H +#define DEBUG_H /* * The log output macros print output to the console. These macros produce @@ -26,6 +26,7 @@ #define LOG_LEVEL_VERBOSE 50 #ifndef __ASSEMBLY__ +#include <cdefs.h> #include <stdarg.h> #include <stdio.h> @@ -89,11 +90,7 @@ 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_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); void tf_log_set_max_level(unsigned int log_level); #endif /* __ASSEMBLY__ */ -#endif /* __DEBUG_H__ */ +#endif /* DEBUG_H */ |