Changes in kernel/arch/ia32/src/ia32.c [98a935e:3526f4f3] 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 <mem.h>
+#include <memw.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
@@ -104 +105 @@
 {
         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) {