/* Hack: let msg load directly the right factory */
typedef void (*smx_ctx_factory_initializer_t)(smx_context_factory_t*);
-extern smx_ctx_factory_initializer_t smx_factory_initializer_to_use;
+XBT_PUBLIC(smx_ctx_factory_initializer_t) smx_factory_initializer_to_use;
extern char* smx_context_factory_name;
extern int smx_context_stack_size;
XBT_PUBLIC(void) *smx_ctx_base_get_data(smx_context_t context);
XBT_PUBLIC(xbt_dynar_t) SIMIX_process_get_runnable(void);
+XBT_PUBLIC(smx_process_t) SIMIX_process_from_PID(int PID);
/* parallelism */
XBT_INLINE int SIMIX_context_is_parallel(void);