Changes in kernel/generic/include/debug.h [af3235d:174156fd] in mainline

File:

• kernel/generic/include/debug.h (modified) (3 diffs)

kernel/generic/include/debug.h

@@ -37 +37 @@
 
 #include <log.h>
-#include <printf/verify.h>
-#include <symtab.h>
+#include <symtab_lookup.h>
 
 #define CALLER  ((uintptr_t) __builtin_return_address(0))
-
-/* An empty printf function to ensure syntactic correctness of disabled debug prints. */
-static inline void dummy_printf(const char *fmt, ...) _HELENOS_PRINTF_ATTRIBUTE(1, 2);
-static inline void dummy_printf(const char *fmt, ...)
-{
-}
 
 #ifdef CONFIG_LOG
@@ -60 +53 @@
         do { \
                 log(LF_OTHER, LVL_DEBUG, \
-                    "%s() from %s at %s:%u: " format, __func__, \
+                    "%s() from %s at %s:%u: " format,__func__, \
                     symtab_fmt_name_lookup(CALLER), __FILE__, __LINE__, \
                     ##__VA_ARGS__); \
@@ -67 +60 @@
 #else /* CONFIG_LOG */
 
-#define LOG(format, ...) dummy_printf(format, ##__VA_ARGS__)
+#define LOG(format, ...)
 
 #endif /* CONFIG_LOG */