Fixed bug 3074984, undone change to the virtual timers.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@2186 35acf78f-673a-0410-8e92-d51de3d6d3f4

2 files changed, 7 insertions, 3 deletions

diff --git a/os/kernel/src/chschd.c b/os/kernel/src/chschd.c
index c7db9ad60..f12103324 100644
--- a/os/kernel/src/chschd.c
+++ b/os/kernel/src/chschd.c
@@ -143,9 +143,12 @@ static void wakeup(void *p) {
     dequeue(tp);

   }

 #endif

-  /* Done this way in order to allow a tail call.*/

-  tp->p_u.rdymsg = RDY_TIMEOUT;

-  chSchReadyI(tp);

+  /* Handling the special case where the thread has been made ready by another

+     thread with higher priority.*/

+  if (tp->p_state != THD_STATE_READY) {

+    tp->p_u.rdymsg = RDY_TIMEOUT;

+    chSchReadyI(tp);

+  }

 }

 

 /**

diff --git a/os/kernel/src/chvt.c b/os/kernel/src/chvt.c
index 070a9c620..b622bb493 100644
--- a/os/kernel/src/chvt.c
+++ b/os/kernel/src/chvt.c
@@ -42,6 +42,7 @@ VTList vtlist;
 void vt_init(void) {

 

   vtlist.vt_next = vtlist.vt_prev = (void *)&vtlist;

+  vtlist.vt_time = (systime_t)-1;

   vtlist.vt_systime = 0;

 }