tree bd07302aed54c75cc5c64af2503b29a21014103c
parent 4c1ea3dd718a1d93a726cb3e66665ac4170dcccd
author Rusty Russell <rusty@rustcorp.com.au> 1253766406 -0600
committer Rusty Russell <rusty@rustcorp.com.au> 1253710606 +0930

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>