Index: kernel/arch/riscv64/include/arch/asm.h
===================================================================
--- kernel/arch/riscv64/include/arch/asm.h	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/riscv64/include/arch/asm.h	(revision 011c79a1421843fafa1f7554c84434313b5e8aca)
@@ -41,4 +41,8 @@
 #include <arch/mm/asid.h>
 #include <trace.h>
+
+_NO_TRACE static inline void cpu_spin_hint(void)
+{
+}
 
 _NO_TRACE static inline ipl_t interrupts_enable(void)