-void smpi_process_simulated_reset(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;
-}
-