From e46fb46fcf4302bf5ed913101c5c7b510fe03ad4 Mon Sep 17 00:00:00 2001
From: kaashoek <kaashoek>
Date: Sat, 29 Jul 2006 01:20:15 +0000
Subject: [PATCH] acquire+release ide_lock in ide_intr

---
 ide.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ide.c b/ide.c
index 291ab83..88a1d4d 100644
--- a/ide.c
+++ b/ide.c
@@ -53,8 +53,10 @@ ide_init(void)
 void
 ide_intr(void)
 {
-  cprintf("ide_intr\n");
+  acquire(&ide_lock);
+  cprintf("%d: ide_intr\n", cpu());
   wakeup(&request[tail]);
+  release(&ide_lock);
 }
 
 int