preempt_disable(); 
int __devinit start_secondary(void *cpuvoid){        /* Setup the cpu */        cpu_init();        /* init per CPU timer */        init_cpu_timer();#ifdef CONFIG_VIRT_TIMER        init_cpu_vtimer();#endif#ifdef CONFIG_PFAULT	/* Enable pfault pseudo page faults on this cpu. */	if (MACHINE_IS_VM)		pfault_init();#endif	/* Mark this cpu as online */	cpu_set(smp_processor_id(), cpu_online_map);	/* Switch on interrupts */	local_irq_enable();        /* Print info about this processor */        print_cpu_info(&S390_lowcore.cpu_data);        /* cpu_idle will call schedule for us */        cpu_idle();        return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/smp.c/buggy/arch/s390/kernel/smp.c