Changes in kernel/arch/ia32/src/ia32.c [de96d3b:b169619] in mainline

File:

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

kernel/arch/ia32/src/ia32.c

@@ -61 +61 @@
 #include <arch/pm.h>
 #include <arch/vreg.h>
-#include <arch/mm/pat.h>
 
 #ifdef CONFIG_SMP
@@ -105 +104 @@
 {
         pm_init();
-
-        /* 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) {