Searched refs:map_usertag_to_SO_delete (Results 1 – 2 of 2) sorted by relevance
3376 static void map_usertag_to_SO_delete ( UWord usertag ) { in map_usertag_to_SO_delete() function3456 map_usertag_to_SO_delete( usertag ); in evh__HG_USERSO_FORGET_ALL()