Changeset 39 for trunk/hal/x86_64/hal_gpt.c

Timestamp:

Jun 22, 2017, 3:13:14 PM (7 years ago)

Author:

max@…

Message:

Parse RSDP->RSDT->MADT, and get the LAPIC PA.

File:

• trunk/hal/x86_64/hal_gpt.c (modified) (1 diff)

trunk/hal/x86_64/hal_gpt.c

@@ -64 +64 @@
 void hal_gpt_enter(vaddr_t va, paddr_t pa)
 {
+        XASSERT((va % PAGE_SIZE == 0));
+        XASSERT((pa % PAGE_SIZE == 0));
         PTE_BASE[pl1_i(va)] = (pa & PG_FRAME) | PG_V | PG_KW | PG_NX;
+}
+
+void hal_gpt_enter_range(vaddr_t va, paddr_t pa, size_t n)
+{
+        size_t i;
+        for (i = 0; i < n; i++) {
+                hal_gpt_enter(va + i * PAGE_SIZE, pa + i * PAGE_SIZE);
+                invlpg(va + i * PAGE_SIZE);
+        }
 }