Index: kernel/arch/arm64/include/arch/asm.h
===================================================================
--- kernel/arch/arm64/include/arch/asm.h	(revision 2b264c4d5e2f74497c27c64df3d210b4b1899af2)
+++ kernel/arch/arm64/include/arch/asm.h	(revision 30b56d9814196a29138d75a9555cb10e287d85dd)
@@ -61,5 +61,8 @@
 }
 
-#define ARCH_SPIN_HINT() asm volatile ("yield")
+_NO_TRACE static inline void cpu_spin_hint(void)
+{
+	asm volatile ("yield");
+}
 
 /** Output byte to port.