diff options
Diffstat (limited to 'drivers/lguest')
| -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 bf37a31c0e05..cf94326f1b59 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
| @@ -894,7 +894,7 @@ void guest_set_pte(struct lg_cpu *cpu, | |||
| 894 | * tells us they've changed. When the Guest tries to use the new entry it will | 894 | * tells us they've changed. When the Guest tries to use the new entry it will |
| 895 | * fault and demand_page() will fix it up. | 895 | * fault and demand_page() will fix it up. |
| 896 | * | 896 | * |
| 897 | * So with that in mind here's our code to to update a (top-level) PGD entry: | 897 | * So with that in mind here's our code to update a (top-level) PGD entry: |
| 898 | */ | 898 | */ |
| 899 | void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) | 899 | void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) |
| 900 | { | 900 | { |