From f7cea12b38a86e9b37fa5bc635310d3f85e5f8db Mon Sep 17 00:00:00 2001
From: kaashoek <kaashoek>
Date: Wed, 28 Jun 2006 16:44:41 +0000
Subject: [PATCH] disable interrupts when holding kernel lock

---
 defs.h     | 1 +
 mp.c       | 6 ++++++
 spinlock.c | 3 +++
 3 files changed, 10 insertions(+)

diff --git a/defs.h b/defs.h
index 27cac3d..e627a4c 100644
--- a/defs.h
+++ b/defs.h
@@ -41,6 +41,7 @@ void lapic_init(int);
 void lapic_timerinit(void);
 void lapic_timerintr(void);
 void lapic_enableintr(void);
+void lapic_disableintr(void);
 
 // spinlock.c
 extern uint32_t kernel_lock;
diff --git a/mp.c b/mp.c
index ca581e5..eb5afc9 100644
--- a/mp.c
+++ b/mp.c
@@ -183,6 +183,12 @@ lapic_enableintr(void)
   lapic_write(LAPIC_TPR, 0);
 }
 
+void
+lapic_disableintr(void) 
+{
+  lapic_write(LAPIC_TPR, 0xFF);
+}
+
 int
 cpu(void)
 {
diff --git a/spinlock.c b/spinlock.c
index 911ecf8..5cbe062 100644
--- a/spinlock.c
+++ b/spinlock.c
@@ -14,6 +14,8 @@ acquire_spinlock(uint32_t* lock)
 
   if (*lock == cpu_id)
     return;
+  
+  lapic_disableintr();
   while ( cmpxchg(LOCK_FREE, cpu_id, lock) != cpu_id ) { ; }
   // cprintf ("acquired: %d\n", cpu_id);
 }
@@ -26,6 +28,7 @@ release_spinlock(uint32_t* lock)
   if (*lock != cpu_id)
     panic("release_spinlock: releasing a lock that i don't own\n");
   *lock = LOCK_FREE;
+  lapic_enableintr();
 }
 
 void