|
@@ -172,9 +172,6 @@ asmlinkage __visible void __init x86_64_start_kernel(char * real_mode_data)
|
|
*/
|
|
*/
|
|
load_ucode_bsp();
|
|
load_ucode_bsp();
|
|
|
|
|
|
- if (console_loglevel >= CONSOLE_LOGLEVEL_DEBUG)
|
|
|
|
- early_printk("Kernel alive\n");
|
|
|
|
-
|
|
|
|
clear_page(init_level4_pgt);
|
|
clear_page(init_level4_pgt);
|
|
/* set init_level4_pgt kernel high mapping*/
|
|
/* set init_level4_pgt kernel high mapping*/
|
|
init_level4_pgt[511] = early_level4_pgt[511];
|
|
init_level4_pgt[511] = early_level4_pgt[511];
|