+void smpi_process_simulated_start(void) {
+ smpi_process_data_t data = smpi_process_data();
+
+ data->simulated = SIMIX_get_clock();
+}
+
+double smpi_process_simulated_elapsed(void) {
+ smpi_process_data_t data = smpi_process_data();
+
+ return SIMIX_get_clock() - data->simulated;
+}
+