Cc: Ian Campbell <ijc@...>, Ingo Molnar <mingo@...>, Mika Penttilä <mika.penttila@...>, <linux-kernel@...>, Thomas Gleixner <tglx@...>, Ingo Molnar <mingo@...>, Eric W. Biederman <ebiederm@...>
I think we're in vehement agreement here. In either case, its just a
matter of something like:
memcpy(pgd, &pgd[USER_PTRS_PER_PGD], sizeof(pgd_t) * KERNEL_PTRS_PER_PGD);
which would work for both PAE and non-PAE.
Sorry, I was unclear. I meant in the purely Xen-specific parts of the
kernel (arch/x86/xen). It wouldn't require a hypervisor change.
J
--