[PATCH v2 5/7] futex: Use alternate form for val3 presented in hex

[Eugene Syromyatnikov]

In order to distinguish it from the cases where it is printed in
decimal.

* futex.c (SYS_FUNC(futex)) <FUTEX_WAIT_BITSET, FUTEX_WAKE_BITSET>: use
  alternate form for the val3 argument.
---
 futex.c |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/futex.c b/futex.c
index 6bd739f..1418c89 100644
--- a/futex.c
+++ b/futex.c
@@ -69,10 +69,10 @@ SYS_FUNC(futex)
 	case FUTEX_WAIT_BITSET:
 		tprints(", ");
 		print_timespec(tcp, timeout);
-		tprintf(", %x", val3);
+		tprintf(", %#x", val3);
 		break;
 	case FUTEX_WAKE_BITSET:
-		tprintf(", %x", val3);
+		tprintf(", %#x", val3);
 		break;
 	case FUTEX_REQUEUE:
 		tprintf(", %u, ", val2);
-- 
1.7.10.4