preempt_disable(); 
start_secondary (void *unused){	/* Early console may use I/O ports */	ia64_set_kr(IA64_KR_IO_BASE, __pa(ia64_iobase));	Dprintk("start_secondary: starting CPU 0x%x\n", hard_smp_processor_id());	efi_map_pal_code();	cpu_init();	smp_callin();	cpu_idle();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/smpboot.c/buggy/arch/ia64/kernel/smpboot.c