Changes in kernel/genarch/src/acpi/acpi.c [4b1c7c6f:a35b458] in mainline

File:

• kernel/genarch/src/acpi/acpi.c (modified) (1 diff)

kernel/genarch/src/acpi/acpi.c

@@ -104 +104 @@
         /* Start with mapping the header only. */
         vhdr = (struct acpi_sdt_header *) km_map((uintptr_t) psdt,
-            sizeof(struct acpi_sdt_header), 0);
+            sizeof(struct acpi_sdt_header), PAGE_READ | PAGE_NOT_CACHEABLE);
 
         /* Now we can map the entire structure. */
         vsdt = (struct acpi_sdt_header *) km_map((uintptr_t) psdt,
-            vhdr->length, PAGE_WRITE);
+            vhdr->length, PAGE_WRITE | PAGE_NOT_CACHEABLE);
 
         // TODO: do not leak vtmp