From a748ac725775aa6f165419c01b85f157603e34aa Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Sat, 27 Aug 2011 23:18:29 -0700
Subject: [PATCH] Currently, only the SCC uses the fast lane for driver task

---
 arch/x86/kernel/irq.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c
index f4cdc60b..2be72709 100644
--- a/arch/x86/kernel/irq.c
+++ b/arch/x86/kernel/irq.c
@@ -275,7 +275,7 @@ void irq_handler(struct state *s)
 #endif
 
 leave_handler:
-#if 1
+#ifdef CONFIG_ROCKCREEK
 	// add fast lane for the driver task
 	if (s->int_no >= 32)
 		scheduler();