TIMER_INTVAL_REG - Linux

Symbol: TIMER_INTVAL_REG

drivers/clocksource/timer-sun4i.c

writel(~0, timer_of_base(&to) + TIMER_INTVAL_REG(1));

drivers/clocksource/timer-sun4i.c

writel(delay, base + TIMER_INTVAL_REG(timer));