Changes in kernel/genarch/src/acpi/acpi.c [e3ce39b:1075ac6] 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);
 }