Changeset 94d211e in mainline for kernel/genarch/src/acpi/acpi.c

Timestamp:

2018-03-21T19:32:48Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

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), PAGE_READ | PAGE_NOT_CACHEABLE);
+            sizeof(struct acpi_sdt_header),
+            PAGE_READ_ONLY | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
 
         /* Now we can map the entire structure. */
         vsdt = (struct acpi_sdt_header *) km_map((uintptr_t) psdt,
-            vhdr->length, PAGE_WRITE | PAGE_NOT_CACHEABLE);
+            vhdr->length,
+            PAGE_READ_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
 
         // TODO: do not leak vtmp