diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-01-01 14:54:28 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-01-01 14:54:28 +0100 |
| commit | 7460caca37c30536b7b507d141cf5b7c51697cf3 (patch) | |
| tree | ddb73febf35fb5f5f36e4237a02b9b6b18be7925 /libddekit/include | |
| parent | 0ea79b053d4a853d7bdd3363ccb6c132b2f7ee5c (diff) | |
Remove c_headers.h
Diffstat (limited to 'libddekit/include')
| -rw-r--r-- | libddekit/include/ddekit/panic.h | 19 | ||||
| -rw-r--r-- | libddekit/include/ddekit/printf.h | 2 |
2 files changed, 3 insertions, 18 deletions
diff --git a/libddekit/include/ddekit/panic.h b/libddekit/include/ddekit/panic.h index f036ab3e..1468675f 100644 --- a/libddekit/include/ddekit/panic.h +++ b/libddekit/include/ddekit/panic.h @@ -3,29 +3,14 @@ /** \defgroup DDEKit_util */ -#include "c_headers.h" - /** Panic - print error message and enter the kernel debugger. * \ingroup DDEKit_util */ -#define ddekit_panic(format, ...) do \ -{ \ - char buf[1024]; \ - snprintf (buf, 1024, "%s", format); \ - fprintf (stderr , buf, ## __VA_ARGS__); \ - fflush (stderr); \ - abort (); \ -} while (0) +void ddekit_panic(char *fmt, ...) __attribute__((noreturn)); /** Print a debug message. * \ingroup DDEKit_util */ -#define ddekit_debug(format, ...) do \ -{ \ - char buf[1024]; \ - snprintf (buf, 1024, "%s: %s\n", __func__, format); \ - fprintf (stderr , buf, ## __VA_ARGS__); \ - fflush (stderr); \ -} while (0) +void ddekit_debug(char *fmt, ...); #endif diff --git a/libddekit/include/ddekit/printf.h b/libddekit/include/ddekit/printf.h index aa086c71..35b0dfa1 100644 --- a/libddekit/include/ddekit/printf.h +++ b/libddekit/include/ddekit/printf.h @@ -1,7 +1,7 @@ #ifndef _ddekit_print_h #define _ddekit_print_h -#include "c_headers.h" +#include <stdarg.h> /** Print message. * \ingroup DDEKit_util |