From: Peter Dinda <pdinda@northwestern.edu>
Date: Tue, 26 Jun 2012 21:32:21 +0000 (-0500)
Subject: Updated lock/unlock irq save/restore to directly use os hooks versions
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=a04338047280b77bdaa3882b748a442d9c9c06a8;p=palacios.releases.git

Updated lock/unlock irq save/restore to directly use os hooks versions
---

diff --git a/palacios/src/palacios/vmm_lock.c b/palacios/src/palacios/vmm_lock.c
index c2bdba7..23569d2 100644
--- a/palacios/src/palacios/vmm_lock.c
+++ b/palacios/src/palacios/vmm_lock.c
@@ -50,13 +50,10 @@ void v3_unlock(v3_lock_t lock) {
 }
 
 addr_t v3_lock_irqsave(v3_lock_t lock) {
-    addr_t irq_state = v3_irq_save();
-    os_hooks->mutex_lock((void *)lock, 1);
-    return irq_state;
+    return (addr_t) (os_hooks->mutex_lock_irqsave((void *)lock, 1));
 }
 
 
 void v3_unlock_irqrestore(v3_lock_t lock, addr_t irq_state) {
-    os_hooks->mutex_unlock((void *)lock);
-    v3_irq_restore(irq_state);
+    os_hooks->mutex_unlock_irqrestore((void *)lock,(void*)irq_state);
 }