Changes in kernel/arch/amd64/src/amd64.c [de96d3b:98a935e] in mainline

File:

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

kernel/arch/amd64/src/amd64.c

@@ -37 +37 @@
 #include <stdint.h>
 #include <errno.h>
-#include <memw.h>
+#include <mem.h>
 #include <interrupt.h>
 #include <console/console.h>
@@ -60 +60 @@
 #include <arch/vreg.h>
 #include <arch/kseg.h>
-#include <arch/mm/pat.h>
 #include <genarch/pic/pic_ops.h>
 
@@ -116 +115 @@
         /* Disable alignment check */
         write_cr0(read_cr0() & ~CR0_AM);
-
-        /* Use PCD+PWT bit combination in PTE to mean write-combining mode. */
-        if (pat_supported())
-                pat_set_mapping(false, true, true, PAT_TYPE_WRITE_COMBINING);
 
         if (config.cpu_active == 1) {