Searched refs:default_domain_lock (Results 1 – 1 of 1) sorted by relevance
96 static mutex_t default_domain_lock = DEFAULTMUTEX; variable858 (void) mutex_lock(&default_domain_lock); in __default_domain()861 (void) mutex_unlock(&default_domain_lock); in __default_domain()865 (void) mutex_unlock(&default_domain_lock); in __default_domain()871 (void) mutex_unlock(&default_domain_lock); in __default_domain()875 (void) mutex_unlock(&default_domain_lock); in __default_domain()878 (void) mutex_unlock(&default_domain_lock); in __default_domain()