diff options
Diffstat (limited to 'drivers/lguest/lg.h')
| -rw-r--r-- | drivers/lguest/lg.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h index 74af503ad63c..cacc2da2058d 100644 --- a/drivers/lguest/lg.h +++ b/drivers/lguest/lg.h | |||
| @@ -169,7 +169,7 @@ void copy_gdt_tls(const struct lg_cpu *cpu, struct desc_struct *gdt); | |||
| 169 | int init_guest_pagetable(struct lguest *lg); | 169 | int init_guest_pagetable(struct lguest *lg); |
| 170 | void free_guest_pagetable(struct lguest *lg); | 170 | void free_guest_pagetable(struct lguest *lg); |
| 171 | void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable); | 171 | void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable); |
| 172 | void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 i); | 172 | void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i); |
| 173 | void guest_pagetable_clear_all(struct lg_cpu *cpu); | 173 | void guest_pagetable_clear_all(struct lg_cpu *cpu); |
| 174 | void guest_pagetable_flush_user(struct lg_cpu *cpu); | 174 | void guest_pagetable_flush_user(struct lg_cpu *cpu); |
| 175 | void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir, | 175 | void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir, |