aboutsummaryrefslogtreecommitdiffstats
path: root/drivers/lguest/page_tables.c
diff options
context:
space:
mode:
Diffstat (limited to 'drivers/lguest/page_tables.c')
-rw-r--r--drivers/lguest/page_tables.c2
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 */
571void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 idx) 571void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx)
572{ 572{
573 int pgdir; 573 int pgdir;
574 574