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 c1b073b79d93be484c1277800ebe22a898153e70)
@@ -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