Changes in kernel/generic/src/ddi/irq.c [78ffb70:b366a6f4] in mainline

File:

• kernel/generic/src/ddi/irq.c (modified) (1 diff)

kernel/generic/src/ddi/irq.c

@@ -275 +275 @@
 {
         /*
-         * If the kernel console is silenced,
-         * then try first the uspace handlers,
-         * eventually fall back to kernel handlers.
+         * If the kernel console override is on,
+         * then try first the kernel handlers
+         * and eventually fall back to uspace
+         * handlers.
          *
-         * If the kernel console is active,
-         * then do it the other way around.
+         * In the usual case the uspace handlers
+         * have precedence.
          */
-        if (silent) {
-                irq_t *irq = irq_dispatch_and_lock_uspace(inr);
+        
+        if (console_override) {
+                irq_t *irq = irq_dispatch_and_lock_kernel(inr);
                 if (irq)
                         return irq;
                 
-                return irq_dispatch_and_lock_kernel(inr);
-        }
-        
-        irq_t *irq = irq_dispatch_and_lock_kernel(inr);
+                return irq_dispatch_and_lock_uspace(inr);
+        }
+        
+        irq_t *irq = irq_dispatch_and_lock_uspace(inr);
         if (irq)
                 return irq;
         
-        return irq_dispatch_and_lock_uspace(inr);
+        return irq_dispatch_and_lock_kernel(inr);
 }