EXYNOS3250_TIMER_INT_STAT
if (irq_status & EXYNOS3250_TIMER_INT_STAT) {
writel(EXYNOS3250_TIMER_INT_STAT | time_value,
writel(EXYNOS3250_TIMER_INT_STAT, regs + EXYNOS3250_TIMER_ST);