Searched refs:VtsID__cmpLEQ (Results 1 – 1 of 1) sorted by relevance
3454 static inline Bool VtsID__cmpLEQ ( VtsID vi1, VtsID vi2 ) { in VtsID__cmpLEQ() function5097 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()5122 Bool leq = VtsID__cmpLEQ(rmini,tviR); in msmcread()5130 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcread()5185 Bool leq = VtsID__cmpLEQ(wmini,tviW); in msmcwrite()5193 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcwrite()6620 { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR); in libhb_so_send()