diff --git a/nuttx/include/nuttx/compiler.h b/nuttx/include/nuttx/compiler.h
index 1e0af43826..d74fcbea08 100644
--- a/nuttx/include/nuttx/compiler.h
+++ b/nuttx/include/nuttx/compiler.h
@@ -97,7 +97,7 @@
  * indicates that the function should never be inlined.
  */
 
-# define inline_function __attribute__ ((always_inline))
+# define inline_function __attribute__ ((always_inline,no_instrument_function))
 # define noinline_function __attribute__ ((noinline))
 
 /* GCC has does not use storage classes to qualify addressing */