Searched refs:exec_stack (Results 1 – 2 of 2) sorted by relevance
39 static exec_stack current_states;341 void CLG_(init_exec_stack)(exec_stack* es) in CLG_()352 void CLG_(copy_current_exec_stack)(exec_stack* dst) in CLG_()361 void CLG_(set_current_exec_stack)(exec_stack* dst) in CLG_()
581 typedef struct _exec_stack exec_stack; typedef601 exec_stack states; /* execution states interrupted by signals */804 void CLG_(init_exec_stack)(exec_stack*);805 void CLG_(copy_current_exec_stack)(exec_stack*);806 void CLG_(set_current_exec_stack)(exec_stack*);