From d97b44883dc5012e8a2f9b7c23ba69f5dfb40aeb Mon Sep 17 00:00:00 2001
From: Razvan Virtan <virtanrazvan@gmail.com>
Date: Sat, 29 Apr 2023 22:18:32 +0300
Subject: [PATCH] uk/arch: Make `ukarch_dec` use `ukarch_fetch_sub`
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Change the `ukarch_dec` definition so that it uses `ukarch_fetch_sub`,
being consistent with the `ukarch_inc` implementation.

Signed-off-by: Razvan Virtan <virtanrazvan@gmail.com>
Reviewed-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Reviewed-by: Marc Rittinghaus <marc.rittinghaus@unikraft.io>
Approved-by: Michalis Pappas <michalis@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #864
---
 include/uk/arch/atomic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/uk/arch/atomic.h b/include/uk/arch/atomic.h
index a639f7c3e..62c8bd87b 100644
--- a/include/uk/arch/atomic.h
+++ b/include/uk/arch/atomic.h
@@ -65,7 +65,7 @@ extern "C" {
 #define ukarch_inc(src) \
 	ukarch_fetch_add(src, 1)
 #define ukarch_dec(src) \
-	__atomic_fetch_sub(src, 1, __ATOMIC_SEQ_CST)
+	ukarch_fetch_sub(src, 1)
 /**
  * Writes *src into *dst, and returns the previous contents of *dst.
  */
-- 
2.39.5