thread_mask_set
if ((thread_mask_set(lock->mask) & lock->mask) != 0) {
flags = thread_mask_set(~0);
thread_mask_set(flags);