Changes in kernel/arch/ia32/src/ia32.c [3526f4f3:98a935e] in mainline

File:

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

kernel/arch/ia32/src/ia32.c

@@ -1 +1 @@
 /*
- * Copyright (c) 2024 Jiri Svoboda
  * Copyright (c) 2001-2004 Jakub Jermar
+ * Copyright (c) 2009 Jiri Svoboda
  * Copyright (c) 2009 Martin Decky
  * All rights reserved.
@@ -39 +39 @@
 #include <stdint.h>
 #include <errno.h>
-#include <memw.h>
+#include <mem.h>
 #include <interrupt.h>
 #include <console/console.h>
@@ -61 +61 @@
 #include <arch/pm.h>
 #include <arch/vreg.h>
-#include <arch/mm/pat.h>
 
 #ifdef CONFIG_SMP
@@ -105 +104 @@
 {
         pm_init();
-
-#ifndef PROCESSOR_i486
-        /* 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);
-#endif
 
         if (config.cpu_active == 1) {