X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_lock.c;h=23569d2840f89736ed9fd6cb2db8c0ea5f03788f;hb=194c3ac8da18934654586e121a0facfb36b4bc1f;hp=c2bdba798824370c98092b2556cf7651a85a67f8;hpb=794a794cec97cecc8c7de7f8b5fe33381a1e02e0;p=palacios.git

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);
 }