psw_t wait_psw; unsigned long reg; 
void default_idle(void){	psw_t wait_psw;	unsigned long reg;	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	/* 	 * Wait for external, I/O or machine check interrupt and	 * switch off machine check bit after the wait has ended.	 */	wait_psw.mask = PSW_KERNEL_BITS | PSW_MASK_MCHECK | PSW_MASK_WAIT |		PSW_MASK_IO | PSW_MASK_EXT;#ifndef CONFIG_ARCH_S390X	asm volatile (		"    basr %0,0\n"		"0:  la   %0,1f-0b(%0)\n"		"    st   %0,4(%1)\n"		"    oi   4(%1),0x80\n"		"    lpsw 0(%1)\n"		"1:  la   %0,2f-1b(%0)\n"		"    st   %0,4(%1)\n"		"    oi   4(%1),0x80\n"		"    ni   1(%1),0xf9\n"		"    lpsw 0(%1)\n"		"2:"		: "=&a" (reg) : "a" (&wait_psw) : "memory", "cc" );#else /* CONFIG_ARCH_S390X */	asm volatile (		"    larl  %0,0f\n"		"    stg   %0,8(%1)\n"		"    lpswe 0(%1)\n"		"0:  larl  %0,1f\n"		"    stg   %0,8(%1)\n"		"    ni    1(%1),0xf9\n"		"    lpswe 0(%1)\n"		"1:"		: "=&a" (reg) : "a" (&wait_psw) : "memory", "cc" );#endif /* CONFIG_ARCH_S390X */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/77fa22450de00d535de2cc8be653983560828000/process.c/clean/arch/s390/kernel/process.c