Index: genarch/src/acpi/acpi.c
===================================================================
--- genarch/src/acpi/acpi.c	(revision fc1e4f6fda536ab9535536af72ca0eb08473cd3f)
+++ genarch/src/acpi/acpi.c	(revision 9ea8a7ca32a0148a8f388e6313b10d79946deda1)
@@ -80,5 +80,5 @@
 static void map_sdt(struct acpi_sdt_header *sdt)
 {
-	page_mapping_insert(AS_KERNEL, (__address) sdt, (__address) sdt, PAGE_NOT_CACHEABLE, 0);
+	page_mapping_insert(AS_KERNEL, (__address) sdt, (__address) sdt, PAGE_NOT_CACHEABLE);
 	map_structure((__address) sdt, sdt->length);
 }