/* Starts the timer running providing the timer has a counter configuration set.  */
static void ali_start(void)
/* Starts the timer running providing the timer has a counter configuration set.  */
static void ali_start(void)
{
	u32 val;
	spin_lock(&ali_lock);
	pci_read_config_dword(ali_pci, 0xCC, &val);
	val &= ~0x3F;
	val |= (1 << 25) | ali_timeout_bits;
	pci_write_config_dword(ali_pci, 0xCC, val);
	spin_unlock(&ali_lock);
}