Changeset 79 for trunk

Timestamp:

Jun 27, 2017, 5:20:55 PM (7 years ago)

Author:

max@…

Message:

invalidate the page directly

File:

• trunk/hal/x86_64/core/hal_gpt.c (modified) (9 diffs)

trunk/hal/x86_64/core/hal_gpt.c

@@ -81 +81 @@
         XASSERT(va == tmpva || PTE_BASE[pl1_i(va)] == 0);
         PTE_BASE[pl1_i(va)] = (pa & PG_FRAME) | PG_V | PG_KW | PG_NX;
+        invlpg(va);
 }
 
@@ -88 +89 @@
         for (i = 0; i < n; i++) {
                 hal_gpt_enter(va + i * PAGE_SIZE, pa + i * PAGE_SIZE);
-                invlpg(va + i * PAGE_SIZE);
         }
 }
@@ -97 +97 @@
         XASSERT(PTE_BASE[pl1_i(va)] != 0);
         PTE_BASE[pl1_i(va)] = 0;
+        invlpg(va);
 }
 
@@ -104 +105 @@
         for (i = 0; i < n; i++) {
                 hal_gpt_leave(va + i * PAGE_SIZE);
-                invlpg(va + i * PAGE_SIZE);
         }
 }
@@ -146 +146 @@
                 pa = L1page + i * PAGE_SIZE;
                 hal_gpt_enter(tmpva, pa);
-                invlpg(tmpva);
 
                 memset((void *)tmpva, 0, PAGE_SIZE);
@@ -155 +154 @@
                 pa = L2page + i * PAGE_SIZE;
                 hal_gpt_enter(tmpva, pa);
-                invlpg(tmpva);
 
                 memset((void *)tmpva, 0, PAGE_SIZE);
@@ -164 +162 @@
                 pa = L3page + i * PAGE_SIZE;
                 hal_gpt_enter(tmpva, pa);
-                invlpg(tmpva);
 
                 memset((void *)tmpva, 0, PAGE_SIZE);
@@ -176 +173 @@
                 pa &= PG_FRAME; /* rounddown to a page boundary */
                 hal_gpt_enter(tmpva, pa);
-                invlpg(tmpva);
 
                 pde = (pt_entry_t *)tmpva;
@@ -190 +186 @@
                 pa &= PG_FRAME; /* rounddown to a page boundary */
                 hal_gpt_enter(tmpva, pa);
-                invlpg(tmpva);
 
                 pde = (pt_entry_t *)tmpva;