--- zzzz-none-000/linux-4.9.276/arch/mips/kernel/smp.c	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/arch/mips/kernel/smp.c	2023-04-05 08:19:00.000000000 +0000
@@ -47,6 +47,9 @@
 #include <asm/time.h>
 #include <asm/setup.h>
 #include <asm/maar.h>
+#ifdef CONFIG_AVM_IPI_YIELD
+#include <asm/yield_context.h>
+#endif
 
 cpumask_t cpu_callin_map;		/* Bitmask of started secondaries */
 
@@ -420,6 +423,9 @@
 
 void __init smp_cpus_done(unsigned int max_cpus)
 {
+#ifdef CONFIG_AVM_IPI_YIELD
+	avm_yield_setup();
+#endif
 }
 
 /* called from main before smp_init() */