Changes in kernel/arch/ia32/include/cycle.h [7a0359b:df4ed85] 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_
 
-#include <trace.h>
-
-NO_TRACE static inline uint64_t get_cycle(void)
+static inline uint64_t get_cycle(void)
 {
         uint64_t v;