diff options
author | Rusty Russell <rusty@rustcorp.com.au> | 2009-09-24 04:26:46 (GMT) |
---|---|---|
committer | Rusty Russell <rusty@rustcorp.com.au> | 2009-09-23 12:56:46 (GMT) |
commit | fb100d78c04ff6053047625d0368d0d4b1d9912a (patch) | |
tree | bd07302aed54c75cc5c64af2503b29a21014103c /drivers | |
parent | 4c1ea3dd718a1d93a726cb3e66665ac4170dcccd (diff) | |
download | linux-fb100d78c04ff6053047625d0368d0d4b1d9912a.tar.xz |
lguest: use PGDIR_SHIFT for PAE code to allow different PAGE_OFFSET
We still assume the Guest and Host have the same PAGE_OFFSET settings,
but now we don't assume 0xC0000000.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Cc: Matias Zabaljauregui <zabaljauregui@gmail.com>
Diffstat (limited to 'drivers')
-rw-r--r-- | drivers/lguest/page_tables.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c index 232fba6..bf37a31 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c @@ -996,11 +996,9 @@ static unsigned long setup_pagetables(struct lguest *lg, if (copy_to_user(&pgdir[0], &pgd, sizeof(pgd)) != 0) return -EFAULT; /* - * And the third PGD entry (ie. addresses 3G-4G). - * - * FIXME: This assumes that PAGE_OFFSET for the Guest is 0xC0000000. + * And the other PGD entry to make the linear mapping at PAGE_OFFSET */ - if (copy_to_user(&pgdir[3], &pgd, sizeof(pgd)) != 0) + if (copy_to_user(&pgdir[KERNEL_PGD_BOUNDARY], &pgd, sizeof(pgd))) return -EFAULT; #else /* |