ARCH_TIMER_TYPE_CP15  743 drivers/clocksource/arm_arch_timer.c 	if (type == ARCH_TIMER_TYPE_CP15) {
ARCH_TIMER_TYPE_CP15  870 drivers/clocksource/arm_arch_timer.c 	__arch_timer_setup(ARCH_TIMER_TYPE_CP15, clk);
ARCH_TIMER_TYPE_CP15  910 drivers/clocksource/arm_arch_timer.c 		type & ARCH_TIMER_TYPE_CP15 ? "cp15" : "",
ARCH_TIMER_TYPE_CP15  911 drivers/clocksource/arm_arch_timer.c 		type == (ARCH_TIMER_TYPE_CP15 | ARCH_TIMER_TYPE_MEM) ?
ARCH_TIMER_TYPE_CP15  916 drivers/clocksource/arm_arch_timer.c 		type & ARCH_TIMER_TYPE_CP15 ?
ARCH_TIMER_TYPE_CP15  919 drivers/clocksource/arm_arch_timer.c 		type == (ARCH_TIMER_TYPE_CP15 | ARCH_TIMER_TYPE_MEM) ? "/" : "",
ARCH_TIMER_TYPE_CP15  965 drivers/clocksource/arm_arch_timer.c 	if (type & ARCH_TIMER_TYPE_CP15) {
ARCH_TIMER_TYPE_CP15 1177 drivers/clocksource/arm_arch_timer.c 	unsigned int mask = ARCH_TIMER_TYPE_CP15 | ARCH_TIMER_TYPE_MEM;
ARCH_TIMER_TYPE_CP15 1187 drivers/clocksource/arm_arch_timer.c 	if (arch_timers_present & ARCH_TIMER_TYPE_CP15)
ARCH_TIMER_TYPE_CP15 1251 drivers/clocksource/arm_arch_timer.c 	if (arch_timers_present & ARCH_TIMER_TYPE_CP15) {
ARCH_TIMER_TYPE_CP15 1256 drivers/clocksource/arm_arch_timer.c 	arch_timers_present |= ARCH_TIMER_TYPE_CP15;
ARCH_TIMER_TYPE_CP15 1568 drivers/clocksource/arm_arch_timer.c 	if (arch_timers_present & ARCH_TIMER_TYPE_CP15) {
ARCH_TIMER_TYPE_CP15 1573 drivers/clocksource/arm_arch_timer.c 	arch_timers_present |= ARCH_TIMER_TYPE_CP15;