diff options
Diffstat (limited to 'drivers/lguest/page_tables.c')
-rw-r--r-- | drivers/lguest/page_tables.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c index ffba723cd98d..6a54d76b6236 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
@@ -568,7 +568,7 @@ void guest_set_pte(struct lg_cpu *cpu, | |||
568 | * | 568 | * |
569 | * So with that in mind here's our code to to update a (top-level) PGD entry: | 569 | * So with that in mind here's our code to to update a (top-level) PGD entry: |
570 | */ | 570 | */ |
571 | void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 idx) | 571 | void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) |
572 | { | 572 | { |
573 | int pgdir; | 573 | int pgdir; |
574 | 574 | ||