ctl_clear_bit(14, 25);	/* disable damage MCH */ ctl_set_bit(14, 26);	/* enable degradation MCH */ ctl_set_bit(14, 27);	/* enable system recovery MCH */ 
ctl_clear_bit(14, 25);	/* disable external damage MCH */ ctl_set_bit(14, 27);    /* enable system recovery MCH */ 
machine_check_init(void){	init_MUTEX_LOCKED(&m_sem);	ctl_clear_bit(14, 25);	/* disable damage MCH */	ctl_set_bit(14, 26);	/* enable degradation MCH */	ctl_set_bit(14, 27);	/* enable system recovery MCH */#ifdef CONFIG_MACHCHK_WARNING	ctl_set_bit(14, 24);	/* enable warning MCH */#endif	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/77fa22450de00d535de2cc8be653983560828000/s390mach.c/buggy/drivers/s390/s390mach.c