The robust PI mutexes are signaled by setting the LSB bit to 1, so the code requires to take this consideration before access the __pthread_mutex_s. This a bug on only visible on a handful of architectures where __NR_set_robust_list is not support due the missing CONFIG_HAVE_FUTEX_CMPXCHG.