Searched defs:usertag (Results 1 – 1 of 1) sorted by relevance
3227 static SO* map_usertag_to_SO_lookup_or_alloc ( UWord usertag ) { in map_usertag_to_SO_lookup_or_alloc()3240 static void map_usertag_to_SO_delete ( UWord usertag ) { in map_usertag_to_SO_delete()3253 void evh__HG_USERSO_SEND_PRE ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_SEND_PRE()3281 void evh__HG_USERSO_RECV_POST ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_RECV_POST()3309 void evh__HG_USERSO_FORGET_ALL ( ThreadId tid, UWord usertag ) in evh__HG_USERSO_FORGET_ALL()