diff -NurpP --minimal linux-2.6.22.19-vs2.3.0.34.2/kernel/sched_hard.h linux-2.6.22.19-vs2.3.0.34.3/kernel/sched_hard.h
--- linux-2.6.22.19-vs2.3.0.34.2/kernel/sched_hard.h	2007-08-05 20:53:13 +0200
+++ linux-2.6.22.19-vs2.3.0.34.3/kernel/sched_hard.h	2008-05-15 18:13:53 +0200
@@ -40,10 +40,12 @@ void __vx_save_min_skip(int ret, int *mi
 static inline
 int vx_try_skip(struct rq *rq, int cpu)
 {
+	/* nothing on hold, no point in skipping */
+	if (list_empty(&rq->hold_queue))
+		return 0;
+
 	/* artificially advance time */
 	if (rq->idle_skip > 0) {
-		vxdprintk(list_empty(&rq->hold_queue),
-			"hold queue empty on cpu %d", cpu);
 		rq->idle_time += rq->idle_skip;
 		vxm_idle_skip(rq, cpu);
 		return 1;