ctl_clear_bit(14, 25);	 ctl_set_bit(14, 26);	 ctl_set_bit(14, 27);
ctl_clear_bit(14, 25);	 ctl_set_bit(14, 27);
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;}