Cc: Ian Campbell <ijc@...>, Ingo Molnar <mingo@...>, Mika Penttilä <mika.penttila@...>, <linux-kernel@...>, Thomas Gleixner <tglx@...>, Ingo Molnar <mingo@...>, Eric W. Biederman <ebiederm@...>
Yeah, and it's ugly for the kernel proper, so that bit is a no-brainer.
It's just a matter of hammering out the details.
It doesn't sound from the above that you have any opinion either way
about reusing the initial page tables or creating a new set, as long as
they're in the same format.
-hpa
--