if (smp_cpu_reserved[smp_processor_id()] != 0) { 
if (smp_cpu_reserved[cpu] != 0) { 
__cpu_disable(void){	unsigned long flags;	ec_creg_mask_parms cr_parms;	spin_lock_irqsave(&smp_reserve_lock, flags);	if (smp_cpu_reserved[smp_processor_id()] != 0) {		spin_unlock_irqrestore(&smp_reserve_lock, flags);		return -EBUSY;	}#ifdef CONFIG_PFAULT	/* Disable pfault pseudo page faults on this cpu. */	pfault_fini();#endif	/* disable all external interrupts */	cr_parms.start_ctl = 0;	cr_parms.end_ctl = 0;	cr_parms.orvals[0] = 0;	cr_parms.andvals[0] = ~(1<<15 | 1<<14 | 1<<13 | 1<<12 |				1<<11 | 1<<10 | 1<< 6 | 1<< 4);	smp_ctl_bit_callback(&cr_parms);	/* disable all I/O interrupts */	cr_parms.start_ctl = 6;	cr_parms.end_ctl = 6;	cr_parms.orvals[6] = 0;	cr_parms.andvals[6] = ~(1<<31 | 1<<30 | 1<<29 | 1<<28 |				1<<27 | 1<<26 | 1<<25 | 1<<24);	smp_ctl_bit_callback(&cr_parms);	/* disable most machine checks */	cr_parms.start_ctl = 14;	cr_parms.end_ctl = 14;	cr_parms.orvals[14] = 0;	cr_parms.andvals[14] = ~(1<<28 | 1<<27 | 1<<26 | 1<<25 | 1<<24);	smp_ctl_bit_callback(&cr_parms);	spin_unlock_irqrestore(&smp_reserve_lock, flags);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f370513640492641b4046bfd9a6e4714f6ae530d/smp.c/clean/arch/s390/kernel/smp.c