Index: model/dce.cc |
=================================================================== |
--- a/model/dce.cc |
+++ b/model/dce.cc |
@@ -551,8 +551,11 @@ |
{ |
return 0; |
} |
- current->process->itimer = Simulator::Schedule (UtilsTimevalToTime (value->it_value), |
- &Itimer, current->process); |
+ TaskManager *manager = TaskManager::Current (); |
+ current->process->itimer = manager->ScheduleMain ( |
+ UtilsTimevalToTime (value->it_value), |
+ MakeEvent (&Itimer, current->process)); |
+ |
return 0; |
} |
char * dce_getcwd (char *buf, size_t size) |