Changes in kernel/arch/ia32/src/ia32.c [acc7ce4:eff1f033] in mainline

File:

• kernel/arch/ia32/src/ia32.c (modified) (1 diff)

kernel/arch/ia32/src/ia32.c

@@ -193 +193 @@
 #endif
         
-        if (irqs_info != NULL)
-                sysinfo_set_item_val(irqs_info, NULL, true);
-        
+        /*
+         * This nasty hack should also go away ASAP.
+         */
+        trap_virtual_enable_irqs(1 << IRQ_DP8390);
         sysinfo_set_item_val("netif.dp8390.inr", NULL, IRQ_DP8390);
 }