00001 00009 #ifndef _EXEC_H 00010 #define _EXEC_H 00011 00012 #include <setjmp.h> 00013 #include "globals.h" 00014 00015 int exec_init(void); 00016 STATUS exec_start(void); 00017 00018 struct sync_data { 00019 TIMESTAMP step_to; 00020 int hard_event; 00021 STATUS status; 00022 }; 00024 struct thread_data { 00025 int count; 00026 struct sync_data *data; 00027 }; 00028 00029 char *simtime(void); 00030 00031 #ifndef max 00032 #define max(n, m) ((n) > (m) ? (n) : (m)) 00033 #endif 00034 00035 #endif 00036