Searched defs:usertag (Results 1 – 1 of 1) sorted by relevance
3307 static SO* map_usertag_to_SO_lookup_or_alloc ( UWord usertag ) { in map_usertag_to_SO_lookup_or_alloc()3320 static void map_usertag_to_SO_delete ( UWord usertag ) { in map_usertag_to_SO_delete()3333 void evh__HG_USERSO_SEND_PRE ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_SEND_PRE()3361 void evh__HG_USERSO_RECV_POST ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_RECV_POST()3389 void evh__HG_USERSO_FORGET_ALL ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_FORGET_ALL()