From 85ae17aa149b9ea114bdd70cc30ea7e73813fb48 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 12 Jan 2016 16:10:31 -0800
Subject: Write 1 to MIPI, not 0

---
 pk/mtrap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pk')

diff --git a/pk/mtrap.c b/pk/mtrap.c
index 88a8a46..478710e 100644
--- 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;
-- 
cgit v1.1