typedef struct s_smx_stat {
s_file_stat_t surf_stat;
-} s_smx_stat_t, *smx_stat_t;
+} s_smx_stat_t;
/*********************************** Time ************************************/
}
}
+int process_syscall_color(void *p);
+
void SIMIX_context_mod_init(void);
void SIMIX_context_mod_exit(void);