do_vtimer()

- removed comment which is not true anymore as we don't have any
  tasks. No need to take any special measures.

diff --git a/kernel/system/do_vtimer.c b/kernel/system/do_vtimer.c
index d7cacf6e3ad95f50f01e692a8e844808cb573db0..a3fb883770aa90cd3b757828369a4fbce5c5eb23 100644 (file)
--- a/kernel/system/do_vtimer.c
+++ b/kernel/system/do_vtimer.c
@@ -59,13 +59,6 @@ PUBLIC int do_vtimer(struct proc * caller, message * m_ptr)
       old_value = 0;
   }
 
-  /* Set the new value, if requested. This is called from the system task, so
-   * we can be interrupted by the clock interrupt, but not by the clock task.
-   * Therefore we only have to protect against interference from clock.c's
-   * clock_handler(). We can do this without disabling interrupts, by removing
-   * the timer's flag before changing the ticks-left field; in that case the
-   * clock interrupt will not touch the latter anymore.
-   */
   if (m_ptr->VT_SET) {
       rp->p_misc_flags &= ~pt_flag;    /* disable virtual timer */