- if (simix_global->kill_process_function)
- surf_timer_model->extension_public->set(start_time, (void *)
- simix_global->kill_process_function,
- arg);
- else
- surf_timer_model->extension_public->set(kill_time, (void *)
- &SIMIX_process_kill,
- (void *) process);
+ if (simix_global->kill_process_function)
+ surf_timer_model->extension.timer.set(start_time, (void *)
+ simix_global->kill_process_function,
+ process);
+ else
+ surf_timer_model->extension.timer.set(kill_time, (void *)
+ &SIMIX_process_kill,
+ (void *) process);