X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=futex-wakeup%2Fnto1-selective%2Ffutex.spin;h=558ace123bd493bc5cb5b77d7eb55cced2450531;hb=3646de2f5d9217207c3b5340baae0a2c988f165e;hp=6f854fceefba73dfbc3781d04734b75590175159;hpb=fda9aff00dcdf7cb49892d79f861d0acfb475514;p=urcu.git

diff --git a/futex-wakeup/nto1-selective/futex.spin b/futex-wakeup/nto1-selective/futex.spin
index 6f854fc..558ace1 100644
--- a/futex-wakeup/nto1-selective/futex.spin
+++ b/futex-wakeup/nto1-selective/futex.spin
@@ -126,8 +126,13 @@ active proctype waiter()
 	do
 	:: 1 ->
 #ifndef INJ_LATE_DEC
+#ifndef INJ_MISORDER
 		futex = -1;
 		waiting[0] = 1;
+#else
+		waiting[0] = 1;
+		futex = -1;
+#endif
 		waiting[1] = 1;
 #endif