:: commit f7c265f8064646ceea4722a4a62ca29d7ce98286

diff --git a/common/sys/cpu.h b/common/sys/cpu.h
index 50f6ecd5..461f35f6 100644
--- a/common/sys/cpu.h
+++ b/common/sys/cpu.h
@@ -205,9 +205,8 @@ static inline uint64_t tsc_freq_arch(void) {
     typeof(*var) locked_read__ret = 0; \
     asm volatile ( \
         "lock xadd %0, %1" \
-        : "+r" (locked_read__ret) \
-        : "m" (*(var)) \
-        : "memory" \
+        : "+r" (locked_read__ret), "+m" (*(var)) \
+        :: "memory" \
     ); \
     locked_read__ret; \
 })