Index: kernel/arch/amd64/include/cycle.h
===================================================================
--- kernel/arch/amd64/include/cycle.h	(revision 1d6c497244b6b4a696141801fb93857f268fe3d9)
+++ kernel/arch/amd64/include/cycle.h	(revision 41a7f624830c173ff6e5ed22c0abc99dbc08751a)
@@ -36,5 +36,7 @@
 #define KERN_amd64_CYCLE_H_
 
-static inline uint64_t get_cycle(void)
+#include <trace.h>
+
+NO_TRACE static inline uint64_t get_cycle(void)
 {
 	uint32_t lower;