int mutex_is_locked(struct mutex *lock);