#ifndef GRAS_VIRTU_INTERFACE_H
#define GRAS_VIRTU_INTERFACE_H
+#include "xbt/function_types.h"
#include "xbt/sysdep.h"
#include "xbt/log.h"
#include "xbt/set.h"
#include "gras/virtu.h"
#include "gras/process.h"
-/* declare a new process specific data
- (used by gras_<module>_register to make sure that gras_process_init will create it) */
+/* shutdown the module mechanism (world-wide cleanups) */
+void gras_moddata_exit(void);
+/* shutdown this process wrt module mecanism (process-wide cleanups) */
+void gras_moddata_leave(void);
+
+/* This is the old interface (deprecated) */
-typedef void* (pvoid_f_void_t)(void); /* FIXME: find a better place for it */
+/* declare a new process specific data
+ (used by gras_<module>_register to make sure that gras_process_init will create it) */
int gras_procdata_add(const char *name, pvoid_f_void_t creator,void_f_pvoid_t destructor);
-void *gras_libdata_by_name(const char *name);
-void *gras_libdata_by_id(int id);
+
+void* gras_libdata_by_name(const char *name);
+void* gras_libdata_by_id(int id);
#endif /* GRAS_VIRTU_INTERFACE_H */
