/* The 32KHz synchronized timer is an additional timer on 16xx. It is always running.  */
static unsigned long omap_32k_sync_timer_read(void)
/* The 32KHz synchronized timer is an additional timer on 16xx. It is always running.  */
static unsigned long omap_32k_sync_timer_read(void)
{
	return omap_readl(TIMER_32K_SYNCHRONIZED);
}