Changes in kernel/arch/ia32/include/cycle.h [df4ed85:7a0359b] in mainline

File:

• kernel/arch/ia32/include/cycle.h (modified) (2 diffs)

kernel/arch/ia32/include/cycle.h

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32    
+/** @addtogroup ia32
  * @{
  */
@@ -36 +36 @@
 #define KERN_ia32_CYCLE_H_
 
-static inline uint64_t get_cycle(void)
+#include <trace.h>
+
+NO_TRACE static inline uint64_t get_cycle(void)
 {
         uint64_t v;