Write 1 to MIPI, not 0

10 years ago · 85ae17aa14
1 changed files with 1 additions and 1 deletions
--- a/pk/mtrap.c
+++ b/pk/mtrap.c
@ -213,7 +213,7 @@ static uintptr_t mcall_send_ipi(uintptr_t recipient)

  if (atomic_swap(&OTHER_HLS(recipient)->ipi_pending, 1) == 0) {
    mb();
-    OTHER_HLS(recipient)->csrs[CSR_MIPI] = 0;
+    OTHER_HLS(recipient)->csrs[CSR_MIPI] = 1;
  }

  return 0;