Because you have to pass the value to futex_wait anyway, you might as well do another opportunistic check there.

The futex_wait system call will suspend the thread only if the value of *mutex hasn't changed from v.