|
@@ -169,7 +169,7 @@ void copy_gdt_tls(const struct lg_cpu *cpu, struct desc_struct *gdt);
|
|
|
int init_guest_pagetable(struct lguest *lg);
|
|
|
void free_guest_pagetable(struct lguest *lg);
|
|
|
void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable);
|
|
|
-void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 i);
|
|
|
+void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i);
|
|
|
void guest_pagetable_clear_all(struct lg_cpu *cpu);
|
|
|
void guest_pagetable_flush_user(struct lg_cpu *cpu);
|
|
|
void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir,
|