EXYNOS3250_TIMER_ST
return readl(regs + EXYNOS3250_TIMER_ST);
writel(EXYNOS3250_TIMER_INT_STAT, regs + EXYNOS3250_TIMER_ST);