 /* * switch to init_level4_pgt from boot_level4_pgt */ memcpy(init_level4_pgt, boot_level4_pgt, PTRS_PER_PGD*sizeof(pgd_t)); asm volatile("movq %0,%%cr3" :: "r" (__pa_symbol(&init_level4_pgt)));  
void __init x86_64_start_kernel(char * real_mode_data){	char *s;	int i;	for (i = 0; i < 256; i++)		set_intr_gate(i, early_idt_handler);	asm volatile("lidt %0" :: "m" (idt_descr));	clear_bss();	pda_init(0);	copy_bootdata(real_mode_data);#ifdef CONFIG_SMP	cpu_set(0, cpu_online_map);#endif	s = strstr(saved_command_line, "earlyprintk=");	if (s != NULL)		setup_early_printk(s);#ifdef CONFIG_NUMA	s = strstr(saved_command_line, "numa=");	if (s != NULL)		numa_setup(s+5);#endif#ifdef CONFIG_X86_IO_APIC	if (strstr(saved_command_line, "disableapic"))		disable_apic = 1;#endif	/* You need early console to see that */	if (__pa_symbol(&_end) >= KERNEL_TEXT_SIZE)		panic("Kernel too big for kernel mapping\n");	setup_boot_cpu_data();	start_kernel();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f6c2e3330d3fdd5474bc3756da46fca889a30e33/head64.c/clean/arch/x86_64/kernel/head64.c