XBT_PUBLIC(void) sg_platf_trace_add_cb(sg_platf_trace_cb_t);
XBT_PUBLIC(void) sg_platf_trace_connect_add_cb(sg_platf_trace_connect_cb_t);
-XBT_PUBLIC(void) sg_platf_mstorage_add_cb(sg_platf_mstorage_cb_t fct);
XBT_PUBLIC(void) sg_platf_mount_add_cb(sg_platf_mount_cb_t fct);
/** \brief Pick the right models for CPU, net and host, and call their model_init_preparse