/* Note: The system will reboot when Expire Flag is set TWICE. So, if the watchdog timer is 20 seconds, then the maximum hang time is about 40 seconds, and the minimum hang time is about 20.6 seconds.  */
static void supermicro_old_pre_start(unsigned long acpibase)
/* Note: The system will reboot when Expire Flag is set TWICE. So, if the watchdog timer is 20 seconds, then the maximum hang time is about 40 seconds, and the minimum hang time is about 20.6 seconds.  */
static void supermicro_old_pre_start(unsigned long acpibase)
{
	unsigned long val32;
	val32 = inl(SMI_EN);
	val32 &= 0xffffdfff;
	outl(val32, SMI_EN);
}