|
@@ -976,6 +976,11 @@ void __init setup_arch(char **cmdline_p)
|
|
paging_init();
|
|
paging_init();
|
|
x86_init.paging.pagetable_setup_done(swapper_pg_dir);
|
|
x86_init.paging.pagetable_setup_done(swapper_pg_dir);
|
|
|
|
|
|
|
|
+ if (boot_cpu_data.cpuid_level >= 0) {
|
|
|
|
+ /* A CPU has %cr4 if and only if it has CPUID */
|
|
|
|
+ mmu_cr4_features = read_cr4();
|
|
|
|
+ }
|
|
|
|
+
|
|
#ifdef CONFIG_X86_32
|
|
#ifdef CONFIG_X86_32
|
|
/* sync back kernel address range */
|
|
/* sync back kernel address range */
|
|
clone_pgd_range(initial_page_table + KERNEL_PGD_BOUNDARY,
|
|
clone_pgd_range(initial_page_table + KERNEL_PGD_BOUNDARY,
|