Searched defs:deleteFM (Results 1 – 5 of 5) sorted by relevance
611 void VG_(deleteFM) ( WordFM* fm, void(*kFin)(UWord), void(*vFin)(UWord) ) in VG_() argument
1430 void deleteFM ( WordFM* fm, void(*kFin)(Word), void(*vFin)(Word) ) in deleteFM() function
603 VG_(deleteFM)( sitree, in delete_StackTree() local
2994 VG_(deleteFM)( dict, NULL, NULL ); in dedup_types_commoning_pass() local
3557 VG_(deleteFM)( visited, NULL, NULL ); in laog__do_dfs_from_to() local