SIRFSOC_TIMER_INTR_STATUS   76 drivers/clocksource/timer-atlas7.c 	writel_relaxed(BIT(cpu), sirfsoc_timer_base + SIRFSOC_TIMER_INTR_STATUS);
SIRFSOC_TIMER_INTR_STATUS  256 drivers/clocksource/timer-atlas7.c 	writel_relaxed(0xFFFF, sirfsoc_timer_base + SIRFSOC_TIMER_INTR_STATUS);