Use alternate form for printing hexadecimal numbers to avoid confusion.
Use printaddr to print uaddr as the latter is interpreted as a pointer
in all currently supported futex operations.
* futex.c (SYS_FUNC(futex)): Fix formatting of unknown command
argument.
case FUTEX_TRYLOCK_PI:
break;
default:
- tprintf(", %lx, %lx, %x", timeout, uaddr2, val3);
+ tprintf(", %#lx", timeout);
+ tprints(", ");
+ printaddr(uaddr2);
+ tprintf(", %#x", val3);
break;
}