linux-user: fix futex strace of FUTEX_CLOCK_REALTIME
authorJohn Rigby <john.rigby@linaro.org>
Sat, 23 Feb 2013 23:14:08 +0000 (16:14 -0700)
committerRiku Voipio <riku.voipio@linaro.org>
Mon, 11 Mar 2013 11:05:01 +0000 (13:05 +0200)
Handle same as existing FUTEX_PRIVATE_FLAG.

Signed-off-by: John Rigby <john.rigby@linaro.org>
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
linux-user/strace.c

index 9a18146..0fbae3c 100644 (file)
@@ -1498,6 +1498,12 @@ if( cmd == val ) { \
         cmd &= ~FUTEX_PRIVATE_FLAG;
     }
 #endif
+#ifdef FUTEX_CLOCK_REALTIME
+    if (cmd & FUTEX_CLOCK_REALTIME) {
+        gemu_log("FUTEX_CLOCK_REALTIME|");
+        cmd &= ~FUTEX_CLOCK_REALTIME;
+    }
+#endif
     print_op(FUTEX_WAIT)
     print_op(FUTEX_WAKE)
     print_op(FUTEX_FD)