Searched refs:leqxx (Results 1 – 1 of 1) sorted by relevance
5130 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcread() local5131 tl_assert(leqxx); in msmcread()5193 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcwrite() local5194 tl_assert(leqxx); in msmcwrite()