Searched refs:exec_stack (Results 1 – 2 of 2) sorted by relevance
39 static exec_stack current_states;342 void CLG_(init_exec_stack)(exec_stack* es) in CLG_()353 void CLG_(copy_current_exec_stack)(exec_stack* dst) in CLG_()362 void CLG_(set_current_exec_stack)(exec_stack* dst) in CLG_()
555 typedef struct _exec_stack exec_stack; typedef575 exec_stack states; /* execution states interrupted by signals */766 void CLG_(init_exec_stack)(exec_stack*);767 void CLG_(copy_current_exec_stack)(exec_stack*);768 void CLG_(set_current_exec_stack)(exec_stack*);