Fix futex arguments.