CONFIG_ARC_TIMERS_64BIT  291 arch/arc/kernel/setup.c 		       IS_AVAIL2(cpu->extn.rtc, "RTC [UP 64-bit] ", CONFIG_ARC_TIMERS_64BIT),
CONFIG_ARC_TIMERS_64BIT  292 arch/arc/kernel/setup.c 		       IS_AVAIL2(cpu->extn.gfrc, "GFRC [SMP 64-bit] ", CONFIG_ARC_TIMERS_64BIT));
CONFIG_ARC_TIMERS_64BIT   56 drivers/clocksource/arc_timer.c #ifdef CONFIG_ARC_TIMERS_64BIT