Jeremy Fitzhardinge 508bebbb1f 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>
2008-01-30 13:33:40 +01:00
..
2008-01-30 13:33:25 +01:00
2008-01-30 13:31:41 +01:00
2008-01-30 13:30:47 +01:00
2008-01-30 13:33:39 +01:00
2007-10-11 11:16:47 +02:00
2008-01-30 13:33:08 +01:00
2008-01-30 13:32:36 +01:00
2007-10-11 11:17:18 +02:00
2008-01-30 13:31:41 +01:00
2008-01-30 13:31:41 +01:00
2008-01-30 13:31:10 +01:00