Changes in kernel/generic/include/context.h [b1d3c36:7a0359b] in mainline

File:

• kernel/generic/include/context.h (modified) (2 diffs)

kernel/generic/include/context.h

@@ -36 +36 @@
 #define KERN_CONTEXT_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
+#include <trace.h>
 #include <arch/context.h>
 
@@ -87 +88 @@
  *
  * @param ctx Context structure.
+ *
  */
-static inline void context_restore(context_t *ctx)
+NO_TRACE static inline void context_restore(context_t *ctx)
 {
         context_restore_arch(ctx);