Changes in kernel/genarch/src/acpi/acpi.c [1075ac6:e3ce39b] in mainline

File:

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

kernel/genarch/src/acpi/acpi.c

@@ -99 +99 @@
 static void map_sdt(struct acpi_sdt_header *sdt)
 {
+        page_table_lock(AS_KERNEL, true);
         page_mapping_insert(AS_KERNEL, (uintptr_t) sdt, (uintptr_t) sdt, PAGE_NOT_CACHEABLE | PAGE_WRITE);
         map_structure((uintptr_t) sdt, sdt->length);
+        page_table_unlock(AS_KERNEL, true);
 }