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

File:

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

kernel/arch/amd64/src/amd64.c

@@ -235 +235 @@
 #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);
 }