schedule(); 
void default_idle(void){	int cpu, rc;	local_irq_disable();        if (need_resched()) {		local_irq_enable();                schedule();                return;        }	/* CPU is going idle. */	cpu = smp_processor_id();	rc = notifier_call_chain(&idle_chain, CPU_IDLE, (void *)(long) cpu);	if (rc != NOTIFY_OK && rc != NOTIFY_DONE)		BUG();	if (rc != NOTIFY_OK) {		local_irq_enable();		return;	}	/* enable monitor call class 0 */	__ctl_set_bit(8, 15);#ifdef CONFIG_HOTPLUG_CPU	if (cpu_is_offline(smp_processor_id()))		cpu_die();#endif	local_mcck_disable();	if (test_thread_flag(TIF_MCCK_PENDING)) {		local_mcck_enable();		local_irq_enable();		s390_handle_mcck();		return;	}	/* Wait for external, I/O or machine check interrupt. */	__load_psw_mask(PSW_KERNEL_BITS | PSW_MASK_WAIT |			PSW_MASK_IO | PSW_MASK_EXT);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/clean/arch/s390/kernel/process.c