tree c4f4eca616dd8f6e9739281022f84d70f9d5e2a7
parent 8fe3deef013bebdbed1f75ae59ef9707fb6e5cc7
author Jeremy Fitzhardinge <jeremy@goop.org> 1201696420 +0100
committer Ingo Molnar <mingo@elte.hu> 1201696420 +0100

x86: allocate and initialize unshared pmds

If SHARED_KERNEL_PMD is false, then we need to allocate and initialize
the kernel pmd.  We can easily piggy-back this onto the existing pmd
prepopulation code.

Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>