From: Razvan Virtan <virtanrazvan@gmail.com>
Date: Sat, 29 Apr 2023 19:18:32 +0000 (+0300)
Subject: uk/arch: Make `ukarch_dec` use `ukarch_fetch_sub`
X-Git-Tag: RELEASE-0.13.0~97
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=d97b44883dc5012e8a2f9b7c23ba69f5dfb40aeb;p=unikraft%2Funikraft.git

uk/arch: Make `ukarch_dec` use `ukarch_fetch_sub`

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
---

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.
  */