Searched refs:post_syscalltime (Results 1 – 1 of 1) sorted by relevance
1727 void CLG_(post_syscalltime)(ThreadId tid, UInt syscallno, in CLG_() argument1980 CLG_(post_syscalltime)); in CLG_()