35
35
#include <typedefs.h>
36
36
#include <stdarg.h>
38
#ifndef NVERIFY_PRINTF
40
#define PRINTF_ATTRIBUTE(start, end) \
41
__attribute__((format(gnu_printf, start, end)))
43
#else /* NVERIFY_PRINTF */
45
#define PRINTF_ATTRIBUTE(start, end)
47
#endif /* NVERIFY_PRINTF */
37
#include <printf_verify.h>