Searched defs:indexRangeMap (Results 1 – 2 of 2) sorted by relevance
134 void VG_(indexRangeMap) ( /*OUT*/UWord* key_min, /*OUT*/UWord* key_max, in VG_() argument