--- a/drivers/timers_xeno/timers_xeno.c Tue May 06 15:31:33 2008 +0200
+++ b/drivers/timers_xeno/timers_xeno.c Wed May 07 14:46:06 2008 +0200
@@ -37,6 +37,7 @@
int ret = 0;
char taskname[32];
+ // lock process in to RAM
mlockall(MCL_CURRENT | MCL_FUTURE);
snprintf(taskname, sizeof(taskname), "S1-%d", getpid());
@@ -77,6 +78,7 @@
rt_mutex_delete(&condition_mutex);
rt_cond_delete(&timer_set);
rt_sem_delete(&control_task);
+ rt_task_delete(&timerloop_task);
}
/**
@@ -103,8 +105,6 @@
void timerloop_task_proc(void *arg)
{
int ret = 0;
- // lock process in to RAM
- mlockall(MCL_CURRENT | MCL_FUTURE);
getElapsedTime();
last_timeout_set = 0;
@@ -149,8 +149,6 @@
exitall(NULL,0);
LeaveMutex();
}
-
- rt_task_delete(&timerloop_task);
}
/**