Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move the stack as field of SafetyChecker and CommDetChecker
[simgrid.git] / src / xbt_modinter.h
index 425a010..988f5f4 100644 (file)
@@ -1,6 +1,6 @@
 /* xbt_modinter - How to init/exit the XBT modules                          */
 
-/* Copyright (c) 2004, 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2004-2010, 2012-2015. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -10,6 +10,8 @@
 #define XBT_MODINTER_H
 #include "xbt/misc.h"
 
+SG_BEGIN_DECL()
+
 /* Modules definitions */
 void xbt_backtrace_preinit(void);
 void xbt_backtrace_postexit(void);
@@ -20,13 +22,17 @@ void xbt_log_postexit(void);
 
 void xbt_fifo_preinit(void);
 void xbt_fifo_postexit(void);
+void xbt_dict_preinit(void);
 void xbt_dict_postexit(void);
 
 void xbt_os_thread_mod_preinit(void);
 void xbt_os_thread_mod_postexit(void);
 
-void mmalloc_preinit(void);
+void *mmalloc_preinit(void);
 void mmalloc_postexit(void);
 
+extern int smx_cleaned;
+extern int xbt_initialized;
 
-#endif /* XBT_MODINTER_H */
+SG_END_DECL()
+#endif                          /* XBT_MODINTER_H */