Index: linux-2.6.11-rc2-ck1/kernel/sched.c
===================================================================
--- linux-2.6.11-rc2-ck1.orig/kernel/sched.c	2005-01-27 13:10:34.000000000 +1100
+++ linux-2.6.11-rc2-ck1/kernel/sched.c	2005-02-01 09:03:32.000000000 +1100
@@ -1011,9 +1011,9 @@ static void preempt(task_t *p, runqueue_
 				goto out;
 			}
 			p_prio = ISO_PRIO;
+		}
 		if (iso_task(rq->curr))
 			curr_prio = ISO_PRIO;
-		}
 	}
 out:
 	if (p_prio > curr_prio)