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 a639f7c3ee036811ebed5fb48c6d551d5167b434..62c8bd87b9b6176f541614944efbabab90aeae79 100644 (file)
--- 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.
  */