Index: kernel/arch/arm32/include/arch/asm.h
===================================================================
--- kernel/arch/arm32/include/arch/asm.h	(revision 2b264c4d5e2f74497c27c64df3d210b4b1899af2)
+++ kernel/arch/arm32/include/arch/asm.h	(revision c1b073b79d93be484c1277800ebe22a898153e70)
@@ -65,7 +65,10 @@
 }
 
+_NO_TRACE static inline void cpu_spin_hint(void)
+{
 #ifdef PROCESSOR_ARCH_armv7_a
-#define ARCH_SPIN_HINT() asm volatile ("yield")
+	asm volatile ("yield");
 #endif
+}
 
 _NO_TRACE static inline void pio_write_8(ioport8_t *port, uint8_t v)