__mutex_set_flag  215 kernel/locking/mutex.c 		__mutex_set_flag(lock, MUTEX_FLAG_WAITERS);
__mutex_set_flag 1042 kernel/locking/mutex.c 				__mutex_set_flag(lock, MUTEX_FLAG_HANDOFF);