Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 93da799d2d440332b0852f908e1917a4f5e0e1d4)
+++ kernel/genarch/src/acpi/acpi.c	(revision a9bd960daade7926c1cbbb3a6c7b8a65901cd9d4)
@@ -102,9 +102,9 @@
 
 	/* Start with mapping the header only. */
-	vhdr = (struct acpi_sdt_header *) km_map_structure((uintptr_t) psdt,
+	vhdr = (struct acpi_sdt_header *) km_map((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_structure((uintptr_t) psdt,
+	vsdt = (struct acpi_sdt_header *) km_map((uintptr_t) psdt,
 	    vhdr->length, PAGE_WRITE | PAGE_NOT_CACHEABLE);