Searched defs:usertag (Results 1 – 1 of 1) sorted by relevance
3305 static SO* map_usertag_to_SO_lookup_or_alloc ( UWord usertag ) { in map_usertag_to_SO_lookup_or_alloc()3318 static void map_usertag_to_SO_delete ( UWord usertag ) { in map_usertag_to_SO_delete()3331 void evh__HG_USERSO_SEND_PRE ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_SEND_PRE()3359 void evh__HG_USERSO_RECV_POST ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_RECV_POST()3387 void evh__HG_USERSO_FORGET_ALL ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_FORGET_ALL()