ARC_REG_TIMERS_BCR  180 arch/arc/kernel/setup.c 	READ_BCR(ARC_REG_TIMERS_BCR, timer);
ARC_REG_TIMERS_BCR  166 drivers/clocksource/arc_timer.c 	READ_BCR(ARC_REG_TIMERS_BCR, timer);