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

File:

• kernel/arch/ia32/src/ia32.c (modified) (2 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.
@@ -106 +106 @@
         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) {