Index: kernel/arch/amd64/include/arch/asm.h
===================================================================
--- kernel/arch/amd64/include/arch/asm.h	(revision 2b264c4d5e2f74497c27c64df3d210b4b1899af2)
+++ kernel/arch/amd64/include/arch/asm.h	(revision e86f56875b4b9e55d0ae025a2964f45d45338216)
@@ -59,5 +59,10 @@
 }
 
-#define ARCH_SPIN_HINT() asm volatile ("pause\n")
+_NO_TRACE static inline void cpu_spin_hint(void)
+{
+	asm volatile (
+	    "pause\n"
+	);
+}
 
 /** Byte from port