futex: fix formatting of val3 hexadecimal argument

* futex.c (SYS_FUNC(futex)): In FUTEX_WAIT_BITSET and FUTEX_WAKE_BITSET,
print hexadecimal val3 argument in alternate form to avoid confusion.

diff --git a/futex.c b/futex.c
index 92682168c831f393eb12e458058e0f1320e52515..d909d5ecc2662ebba91721d40f4c569373999a23 100644 (file)
--- 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);