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
85 void CLG_(forall_threads)(void (*func)(thread_info*))  in CLG_()  function
127 void CLG_(switch_thread)(ThreadId tid)  in CLG_()  function
178 void CLG_(run_thread)(ThreadId tid)  in CLG_()  function
198 void CLG_(pre_signal)(ThreadId tid, Int sigNum, Bool alt_stack)  in CLG_()  function
228 void CLG_(run_post_signal_on_call_stack_bottom)()  in CLG_()  function
238 void CLG_(post_signal)(ThreadId tid, Int sigNum)  in CLG_()  function
314 void CLG_(init_exec_state)(exec_state* es)  in CLG_()  function
341 void CLG_(init_exec_stack)(exec_stack* es)  in CLG_()  function
352 void CLG_(copy_current_exec_stack)(exec_stack* dst)  in CLG_()  function
361 void CLG_(set_current_exec_stack)(exec_stack* dst)  in CLG_()  function