|
@@ -887,7 +887,7 @@ void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable)
|
|
|
* _PAGE_ACCESSED then we can put a read-only PTE entry in immediately, and if
|
|
|
* they set _PAGE_DIRTY then we can put a writable PTE entry in immediately.
|
|
|
*/
|
|
|
-static void do_set_pte(struct lg_cpu *cpu, int idx,
|
|
|
+static void __guest_set_pte(struct lg_cpu *cpu, int idx,
|
|
|
unsigned long vaddr, pte_t gpte)
|
|
|
{
|
|
|
/* Look up the matching shadow page directory entry. */
|
|
@@ -960,13 +960,13 @@ void guest_set_pte(struct lg_cpu *cpu,
|
|
|
unsigned int i;
|
|
|
for (i = 0; i < ARRAY_SIZE(cpu->lg->pgdirs); i++)
|
|
|
if (cpu->lg->pgdirs[i].pgdir)
|
|
|
- do_set_pte(cpu, i, vaddr, gpte);
|
|
|
+ __guest_set_pte(cpu, i, vaddr, gpte);
|
|
|
} else {
|
|
|
/* Is this page table one we have a shadow for? */
|
|
|
int pgdir = find_pgdir(cpu->lg, gpgdir);
|
|
|
if (pgdir != ARRAY_SIZE(cpu->lg->pgdirs))
|
|
|
/* If so, do the update. */
|
|
|
- do_set_pte(cpu, pgdir, vaddr, gpte);
|
|
|
+ __guest_set_pte(cpu, pgdir, vaddr, gpte);
|
|
|
}
|
|
|
}
|
|
|
|