diff -NurpP --minimal linux-2.6.11-rc2-vs1.9.4-rc4.o/kernel/sched.c linux-2.6.11-rc2-vs1.9.4-rc4/kernel/sched.c
--- linux-2.6.11-rc2-vs1.9.4-rc4.o/kernel/sched.c	2005-01-23 12:39:43 +0100
+++ linux-2.6.11-rc2-vs1.9.4-rc4/kernel/sched.c	2005-01-27 13:24:54 +0100
@@ -3488,6 +3488,7 @@ recheck:
 	oldprio = p->prio;
 	__setscheduler(p, policy, param->sched_priority);
 	if (array) {
+		vx_activate_task(p);
 		__activate_task(p, rq);
 		/*
 		 * Reschedule if we are currently running on this runqueue and
@@ -5084,7 +5085,7 @@ void normalize_rt_tasks(void)
 			deactivate_task(p, task_rq(p));
 		__setscheduler(p, SCHED_NORMAL, 0);
 		if (array) {
-		vx_activate_task(p);
+			vx_activate_task(p);
 			__activate_task(p, task_rq(p));
 			resched_task(rq->curr);
 		}