Changes in kernel/arch/amd64/src/amd64.c [2ddcc7b:3a2f8aa] in mainline

File:

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

kernel/arch/amd64/src/amd64.c

@@ -35 +35 @@
 #include <arch.h>
 
-#include <typedefs.h>
+#include <arch/types.h>
 
 #include <config.h>
@@ -122 +122 @@
         /* Enable FPU */
         cpu_setup_fpu();
-        
+
         /* Initialize segmentation */
         pm_init();
@@ -132 +132 @@
         /* Disable alignment check */
         clean_AM_flag();
-        
+
         if (config.cpu_active == 1) {
                 interrupt_init();
@@ -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);
 }
 
@@ -260 +254 @@
         THREAD->arch.tls = addr;
         write_msr(AMD_MSR_FS, addr);
-        
         return 0;
 }