lc->restart_psw.mask = PSW_BASE_BITS; 
lc->restart_psw.mask = PSW_BASE_BITS | PSW_DEFAULT_KEY; 
setup_lowcore(void){	struct _lowcore *lc;	int lc_pages;	/*	 * Setup lowcore for boot cpu	 */	lc_pages = sizeof(void *) == 8 ? 2 : 1;	lc = (struct _lowcore *)		__alloc_bootmem(lc_pages * PAGE_SIZE, lc_pages * PAGE_SIZE, 0);	memset(lc, 0, lc_pages * PAGE_SIZE);	lc->restart_psw.mask = PSW_BASE_BITS;	lc->restart_psw.addr =		PSW_ADDR_AMODE | (unsigned long) restart_int_handler;	lc->external_new_psw.mask = PSW_KERNEL_BITS;	lc->external_new_psw.addr =		PSW_ADDR_AMODE | (unsigned long) ext_int_handler;	lc->svc_new_psw.mask = PSW_KERNEL_BITS | PSW_MASK_IO | PSW_MASK_EXT;	lc->svc_new_psw.addr = PSW_ADDR_AMODE | (unsigned long) system_call;	lc->program_new_psw.mask = PSW_KERNEL_BITS;	lc->program_new_psw.addr =		PSW_ADDR_AMODE | (unsigned long)pgm_check_handler;	lc->mcck_new_psw.mask = PSW_KERNEL_BITS;	lc->mcck_new_psw.addr =		PSW_ADDR_AMODE | (unsigned long) mcck_int_handler;	lc->io_new_psw.mask = PSW_KERNEL_BITS;	lc->io_new_psw.addr = PSW_ADDR_AMODE | (unsigned long) io_int_handler;	lc->ipl_device = S390_lowcore.ipl_device;	lc->jiffy_timer = -1LL;	lc->kernel_stack = ((unsigned long) &init_thread_union) + THREAD_SIZE;	lc->async_stack = (unsigned long)		__alloc_bootmem(ASYNC_SIZE, ASYNC_SIZE, 0) + ASYNC_SIZE;#ifdef CONFIG_CHECK_STACK	lc->panic_stack = (unsigned long)		__alloc_bootmem(PAGE_SIZE, PAGE_SIZE, 0) + PAGE_SIZE;#endif	lc->current_task = (unsigned long) init_thread_union.thread_info.task;	lc->thread_info = (unsigned long) &init_thread_union;#ifdef CONFIG_ARCH_S390X	if (MACHINE_HAS_DIAG44)		lc->diag44_opcode = 0x83000044;	else		lc->diag44_opcode = 0x07000700;#endif /* CONFIG_ARCH_S390X */	set_prefix((u32)(unsigned long) lc);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b642ede47969d4180b0922d982777fe64379228/setup.c/buggy/arch/s390/kernel/setup.c