]> Pileus Git - ~andy/linux/blobdiff - drivers/lguest/page_tables.c
Merge git://git.kernel.org/pub/scm/linux/kernel/git/rusty/linux-2.6-for-linus
[~andy/linux] / drivers / lguest / page_tables.c
index bf37a31c0e05f13717f3967cf345bf270e7e27fa..cf94326f1b597f1b46ccc3ddc996b5aa0ef84f5f 100644 (file)
@@ -894,7 +894,7 @@ void guest_set_pte(struct lg_cpu *cpu,
  * tells us they've changed.  When the Guest tries to use the new entry it will
  * fault and demand_page() will fix it up.
  *
- * So with that in mind here's our code to to update a (top-level) PGD entry:
+ * So with that in mind here's our code to update a (top-level) PGD entry:
  */
 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx)
 {