__ww_mutex_lock
return __ww_mutex_lock(lock, ctx, false, false);
(void)__ww_mutex_lock(lock, ctx, true, false);
return __ww_mutex_lock(lock, ctx, false, true);
return __ww_mutex_lock(lock, ctx, true, true);