Searched refs:BuiltinMutex (Results 1 – 1 of 1) sorted by relevance
203 class BuiltinMutex { class220 return (BuiltinMutex(), Status); in get_status()