TIMER_IRQ_ENABLED  100 drivers/rtc/rtc-goldfish.c 		writel(1, base + TIMER_IRQ_ENABLED);
TIMER_IRQ_ENABLED  102 drivers/rtc/rtc-goldfish.c 		writel(0, base + TIMER_IRQ_ENABLED);