66 thread_info** CLG_(get_threads)()  in CLG_()  function
71 thread_info* CLG_(get_current_thread)()  in CLG_()  function
76 void CLG_(init_threads)()  in CLG_()  function
88 void CLG_(forall_threads)(void (*func)(thread_info*))  in CLG_()  function
130 void CLG_(switch_thread)(ThreadId tid)  in CLG_()  function
181 void CLG_(run_thread)(ThreadId tid)  in CLG_()  function
199 void CLG_(pre_signal)(ThreadId tid, Int sigNum, Bool alt_stack)  in CLG_()  function
229 void CLG_(run_post_signal_on_call_stack_bottom)()  in CLG_()  function
239 void CLG_(post_signal)(ThreadId tid, Int sigNum)  in CLG_()  function
315 void CLG_(init_exec_state)(exec_state* es)  in CLG_()  function
342 void CLG_(init_exec_stack)(exec_stack* es)  in CLG_()  function
353 void CLG_(copy_current_exec_stack)(exec_stack* dst)  in CLG_()  function
362 void CLG_(set_current_exec_stack)(exec_stack* dst)  in CLG_()  function