diff --git a/include/nuttx/compiler.h b/include/nuttx/compiler.h index 6bb2e6c990..071abec482 100644 --- a/include/nuttx/compiler.h +++ b/include/nuttx/compiler.h @@ -143,6 +143,8 @@ # define inline_function __attribute__ ((always_inline,no_instrument_function)) # define noinline_function __attribute__ ((noinline)) +# define printflike(a, b) __attribute__((__format__ (__printf__, a, b))) + /* GCC does not use storage classes to qualify addressing */ # define FAR @@ -358,6 +360,8 @@ # define inline_function # define noinline_function +# define printflike(a, b) + /* The reentrant attribute informs SDCC that the function * must be reentrant. In this case, SDCC will store input * arguments on the stack to support reentrancy. @@ -484,6 +488,7 @@ # define naked_function # define inline_function # define noinline_function +# define printflike(a, b) /* REVISIT: */ @@ -584,6 +589,7 @@ # define naked_function # define inline_function # define noinline_function +# define printflike(a, b) # define FAR # define NEAR @@ -639,6 +645,7 @@ # define naked_function # define inline_function # define noinline_function +# define printflike(a, b) # define FAR # define NEAR