Searched defs:usertag (Results 1 – 1 of 1) sorted by relevance
3209 static SO* map_usertag_to_SO_lookup_or_alloc ( UWord usertag ) { in map_usertag_to_SO_lookup_or_alloc()3222 static void map_usertag_to_SO_delete ( UWord usertag ) { in map_usertag_to_SO_delete()3235 void evh__HG_USERSO_SEND_PRE ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_SEND_PRE()3263 void evh__HG_USERSO_RECV_POST ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_RECV_POST()3291 void evh__HG_USERSO_FORGET_ALL ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_FORGET_ALL()