Changes in kernel/genarch/src/acpi/acpi.c [bf3dd35:96b02eb9] in mainline

File:

• kernel/genarch/src/acpi/acpi.c (modified) (5 diffs)

kernel/genarch/src/acpi/acpi.c

@@ -39 +39 @@
 #include <genarch/acpi/madt.h>
 #include <arch/bios/bios.h>
+#include <mm/as.h>
 #include <mm/page.h>
-#include <mm/km.h>
 #include <print.h>
 
@@ -96 +96 @@
 }
 
-static struct acpi_sdt_header *map_sdt(struct acpi_sdt_header *psdt)
-{
-        struct acpi_sdt_header *vhdr;
-        struct acpi_sdt_header *vsdt;
-
-        /* Start with mapping the header only. */
-        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((uintptr_t) psdt,
-            vhdr->length, PAGE_WRITE | PAGE_NOT_CACHEABLE);
-        
-        // TODO: do not leak vtmp
-
-        return vsdt; 
+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);
 }
 
@@ -127 +118 @@
                             (struct acpi_sdt_header *) (sysarg_t) acpi_rsdt->entry[i];
                         
-                        struct acpi_sdt_header *vhdr = map_sdt(hdr);
-                        if (CMP_SIGNATURE(vhdr->signature, signature_map[j].signature)) {
-                                if (!acpi_sdt_check((uint8_t *) vhdr))
+                        map_sdt(hdr);
+                        if (CMP_SIGNATURE(hdr->signature, signature_map[j].signature)) {
+                                if (!acpi_sdt_check((uint8_t *) hdr))
                                         break;
                                 
-                                *signature_map[j].sdt_ptr = vhdr;
+                                *signature_map[j].sdt_ptr = hdr;
                                 LOG("%p: ACPI %s", *signature_map[j].sdt_ptr,
                                     signature_map[j].description);
@@ -153 +144 @@
                             (struct acpi_sdt_header *) ((uintptr_t) acpi_xsdt->entry[i]);
                         
-                        struct acpi_sdt_header *vhdr = map_sdt(hdr);
-                        if (CMP_SIGNATURE(vhdr->signature, signature_map[j].signature)) {
-                                if (!acpi_sdt_check((uint8_t *) vhdr))
+                        map_sdt(hdr);
+                        if (CMP_SIGNATURE(hdr->signature, signature_map[j].signature)) {
+                                if (!acpi_sdt_check((uint8_t *) hdr))
                                         break;
                                 
-                                *signature_map[j].sdt_ptr = vhdr;
+                                *signature_map[j].sdt_ptr = hdr;
                                 LOG("%p: ACPI %s", *signature_map[j].sdt_ptr,
                                     signature_map[j].description);
@@ -196 +187 @@
         LOG("%p: ACPI Root System Description Pointer", acpi_rsdp);
         
-        uintptr_t acpi_rsdt_p = (uintptr_t) acpi_rsdp->rsdt_address;
-        uintptr_t acpi_xsdt_p = 0;
-
+        acpi_rsdt = (struct acpi_rsdt *) ((uintptr_t) acpi_rsdp->rsdt_address);
         if (acpi_rsdp->revision)
-                acpi_xsdt_p = (uintptr_t) acpi_rsdp->xsdt_address;
-        
-        if (acpi_rsdt_p)
-                acpi_rsdt = (struct acpi_rsdt *) map_sdt(
-                    (struct acpi_sdt_header *) acpi_rsdt_p);
-        
-        if (acpi_xsdt_p)
-                acpi_xsdt = (struct acpi_xsdt *) map_sdt(
-                    (struct acpi_sdt_header *) acpi_xsdt_p);
+                acpi_xsdt = (struct acpi_xsdt *) ((uintptr_t) acpi_rsdp->xsdt_address);
+        
+        if (acpi_rsdt)
+                map_sdt((struct acpi_sdt_header *) acpi_rsdt);
+        
+        if (acpi_xsdt)
+                map_sdt((struct acpi_sdt_header *) acpi_xsdt);
         
         if ((acpi_rsdt) && (!acpi_sdt_check((uint8_t *) acpi_rsdt))) {