1 files changed, 1 insertions, 1 deletions
diff --git a/kern/semaphore_i.h b/kern/semaphore_i.h
index a4c50b83..d58ad0ba 100644
--- a/kern/semaphore_i.h
+++ b/kern/semaphore_i.h
@@ -39,7 +39,7 @@ semaphore_dec(struct semaphore *semaphore)
             break;
         }
 
-        prev = atomic_cas_acquire(&semaphore->value, value, value - 1);
+        prev = atomic_cas(&semaphore->value, value, value - 1, ATOMIC_ACQUIRE);
     } while (prev != value);
 
     return value;