Changes in kernel/arch/amd64/src/amd64.c [849ed54:3a2f8aa] in mainline

File:

• kernel/arch/amd64/src/amd64.c (modified) (2 diffs)

kernel/arch/amd64/src/amd64.c

@@ -35 +35 @@
 #include <arch.h>
 
-#include <typedefs.h>
+#include <arch/types.h>
 
 #include <config.h>
@@ -228 +228 @@
             (uintptr_t) I8042_BASE);
 #endif
-        
-        /*
-         * 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);
 }