Index: kernel/arch/ia64/include/arch/asm.h
===================================================================
--- kernel/arch/ia64/include/arch/asm.h	(revision 128359ebc085c950da1f7e34c3928f12654b438f)
+++ kernel/arch/ia64/include/arch/asm.h	(revision 30b56d9814196a29138d75a9555cb10e287d85dd)
@@ -44,4 +44,8 @@
 #define IO_SPACE_BOUNDARY       ((void *) (64 * 1024))
 
+_NO_TRACE static inline void cpu_spin_hint(void)
+{
+}
+
 /** Map the I/O port address to a legacy I/O address. */
 _NO_TRACE static inline uintptr_t p2a(volatile void *p)