Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching refs:ga

249 static Seg* find_Seg_by_addr ( Addr ga )
253    if (VG_(lookupFM)( addr_to_seg_map, &keyW, &valW, (UWord)ga )) {
254       tl_assert(keyW == ga);
261 static void bind_addr_to_Seg ( Addr ga, Seg* seg )
265    b = VG_(addToFM)( addr_to_seg_map, (UWord)ga, (UWord)seg );
266    tl_assert(!b); /* else ga is already bound */
269 static void unbind_addr_from_Seg ( Addr ga )
274    b = VG_(delFromFM)( addr_to_seg_map, &keyW, &valW, (UWord)ga );
275    tl_assert(b); /* else ga was not already bound */
276    tl_assert(keyW == ga);