riscv/cpustart: Ensure we receive Soft IRQ / IPI before booting CPU

Some spurious interrupt might wake WFI, ensure we got woken by IPI before continuing CPU boot.
tiiuae · Oct 16, 2024 · 05878ec · 05878ec
1 parent 499de61
commit 05878ec
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/arch/risc-v/src/common/riscv_cpustart.c b/arch/risc-v/src/common/riscv_cpustart.c
@@ -77,7 +77,11 @@ void riscv_cpu_boot(int cpu)
 
   /* Wait interrupt */
 
-  asm("WFI");
+  do
+    {
+      asm("WFI");
+    }
+  while (READ_CSR(CSR_IP) != IP_SIP);
 
 #ifdef CONFIG_RISCV_PERCPU_SCRATCH
   /* Initialize the per CPU areas */