arch_timers_present   52 drivers/clocksource/arm_arch_timer.c static unsigned arch_timers_present __initdata;
arch_timers_present 1180 drivers/clocksource/arm_arch_timer.c 	if ((arch_timers_present & mask) == mask)
arch_timers_present 1187 drivers/clocksource/arm_arch_timer.c 	if (arch_timers_present & ARCH_TIMER_TYPE_CP15)
arch_timers_present 1202 drivers/clocksource/arm_arch_timer.c 	arch_timer_banner(arch_timers_present);
arch_timers_present 1203 drivers/clocksource/arm_arch_timer.c 	arch_counter_register(arch_timers_present);
arch_timers_present 1251 drivers/clocksource/arm_arch_timer.c 	if (arch_timers_present & ARCH_TIMER_TYPE_CP15) {
arch_timers_present 1256 drivers/clocksource/arm_arch_timer.c 	arch_timers_present |= ARCH_TIMER_TYPE_CP15;
arch_timers_present 1405 drivers/clocksource/arm_arch_timer.c 	arch_timers_present |= ARCH_TIMER_TYPE_MEM;
arch_timers_present 1568 drivers/clocksource/arm_arch_timer.c 	if (arch_timers_present & ARCH_TIMER_TYPE_CP15) {
arch_timers_present 1573 drivers/clocksource/arm_arch_timer.c 	arch_timers_present |= ARCH_TIMER_TYPE_CP15;