Searched refs:VTS__singleton (Results 1 – 1 of 1) sorted by relevance
2121 static void VTS__singleton ( /*OUT*/VTS* out, Thr* thr, ULong tym );2274 static void VTS__singleton ( /*OUT*/VTS* out, Thr* thr, ULong tym ) in VTS__singleton() function3493 VTS__singleton(temp_max_sized_VTS, thr,tym); in VtsID__mk_Singleton()