implement bkl

+ Start out using big kernel lock, apparently seL4 thinks its good
  enough. I might have a go at using a more fair lock, and possibly
  moving to more fine-grained locks if I really feel the need to get
  scalability up.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/ipi.c b/src/ipi.c
index d00ba1c..eed3895 100644
--- a/src/ipi.c
+++ b/src/ipi.c
@@ -3,6 +3,7 @@
 
 #include <kmi/notify.h>
 #include <kmi/queue.h>
+#include <kmi/bkl.h>
 #include <kmi/ipi.h>
 
 #include <arch/proc.h>
@@ -33,14 +34,19 @@ void unqueue_ipi(struct tcb *t)
 
 void handle_ipi()
 {
+	bkl_lock();
+
 	struct tcb *t = cur_tcb();
 	adjust_ipi(t);
 
 	struct queue_head *q = queue_pop(&fifo);
-	if (!q)
+	if (!q) {
+		bkl_unlock();
 		return;
+	}
 
 	struct tcb *r = container_of(q, struct tcb, ipi_queue);
 	notify(r, 0);
 	/* notify didn't take for whatever reason so return whence we came from */
+	bkl_unlock();
 }