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
196 void CLG_(pre_signal)(ThreadId tid, Int sigNum, Bool alt_stack)  in CLG_()  function
226 void CLG_(run_post_signal_on_call_stack_bottom)()  in CLG_()  function
236 void CLG_(post_signal)(ThreadId tid, Int sigNum)  in CLG_()  function
312 void CLG_(init_exec_state)(exec_state* es)  in CLG_()  function
339 void CLG_(init_exec_stack)(exec_stack* es)  in CLG_()  function
350 void CLG_(copy_current_exec_stack)(exec_stack* dst)  in CLG_()  function
359 void CLG_(set_current_exec_stack)(exec_stack* dst)  in CLG_()  function