Changes in kernel/genarch/src/acpi/acpi.c [bf3dd35:93da799] in mainline

File:

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

kernel/genarch/src/acpi/acpi.c

@@ -102 +102 @@
 
         /* Start with mapping the header only. */
-        vhdr = (struct acpi_sdt_header *) km_map((uintptr_t) psdt,
+        vhdr = (struct acpi_sdt_header *) km_map_structure((uintptr_t) psdt,
             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,
+        vsdt = (struct acpi_sdt_header *) km_map_structure((uintptr_t) psdt,
             vhdr->length, PAGE_WRITE | PAGE_NOT_CACHEABLE);