TIM12
PCLK(TIM12, "tim12", "pclk1", CLK_IGNORE_UNUSED, G_TIM12),
keystone_timer_writel(0, TIM12);
keystone_timer_writel(0, TIM12);
timer_counter = ioread32(davinci_wdt->base + TIM12);
iowrite32(0, davinci_wdt->base + TIM12);
iowrite32(0, davinci_wdt->base + TIM12);