CH0_REL            85 drivers/clocksource/timer-atcpit100.c 	writel(delay, base + CH0_REL);
CH0_REL           129 drivers/clocksource/timer-atcpit100.c 	writel(evt, timer_of_base(to) + CH0_REL);
CH0_REL           157 drivers/clocksource/timer-atcpit100.c 	writel(~0x0, timer_of_base(to) + CH0_REL);