/* This is also called after resume to bring the MFGPT into operation again.  */
void disable_mfgpt0_counter(void)
/* This is also called after resume to bring the MFGPT into operation again.  */
void disable_mfgpt0_counter(void)
{
	outw(inw(MFGPT0_SETUP) & 0x7fff, MFGPT0_SETUP);
}