Module CommonPriv.MutexGlobalsBase

val mutex_addr_to_varinfo : LockDomain.Addr.t -> CilType.Varinfo.t