From 3abf062ea0aed341ac7d1230e77869cb0d1a0414 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Sat, 27 Aug 2011 07:02:45 -0700
Subject: [PATCH] add fast lane for driver task with higher priority

---
 arch/x86/kernel/irq.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c
index 04ddecf4..f4cdc60b 100644
--- a/arch/x86/kernel/irq.c
+++ b/arch/x86/kernel/irq.c
@@ -275,7 +275,13 @@ void irq_handler(struct state *s)
 #endif
 
 leave_handler:
+#if 1
+	// add fast lane for the driver task
+	if (s->int_no >= 32)
+		scheduler();
+#else
 	// timer interrupt?
 	if ((s->int_no == 32) || (s->int_no == 123))
-		scheduler(); // 	switch to a new task
+		scheduler(); // switch to a new task
+#endif
 }