#include <asm/sections.h>
#include <asm/kdebug.h>
#include <asm/e820.h>
-#include <asm/bios_ebda.h>
#include <asm/trampoline.h>
-
-/* boot cpu pda, referenced by head_64.S to initialize %gs for boot CPU */
-struct x8664_pda _boot_cpu_pda;
-
-void __init x86_64_init_pda(void)
-{
- cpu_pda(0) = &_boot_cpu_pda;
- cpu_pda(0)->data_offset =
- (unsigned long)(__per_cpu_load - __per_cpu_start);
- pda_init(0);
-}
+#include <asm/bios_ebda.h>
static void __init zap_identity_mappings(void)
{
if (console_loglevel == 10)
early_printk("Kernel alive\n");
- x86_64_init_pda();
-
x86_64_start_reservations(real_mode_data);
}
{
copy_bootdata(__va(real_mode_data));
- reserve_trampoline_memory();
-
- reserve_early(__pa_symbol(&_text), __pa_symbol(&_end), "TEXT DATA BSS");
+ reserve_early(__pa_symbol(&_text), __pa_symbol(&__bss_stop), "TEXT DATA BSS");
#ifdef CONFIG_BLK_DEV_INITRD
/* Reserve INITRD */