ARCH_TIMER_PHYS_SECURE_PPI  760 drivers/clocksource/arm_arch_timer.c 		case ARCH_TIMER_PHYS_SECURE_PPI:
ARCH_TIMER_PHYS_SECURE_PPI  848 drivers/clocksource/arm_arch_timer.c 	return (arch_timer_uses_ppi == ARCH_TIMER_PHYS_SECURE_PPI &&
ARCH_TIMER_PHYS_SECURE_PPI 1081 drivers/clocksource/arm_arch_timer.c 	case ARCH_TIMER_PHYS_SECURE_PPI:
ARCH_TIMER_PHYS_SECURE_PPI 1090 drivers/clocksource/arm_arch_timer.c 				free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],
ARCH_TIMER_PHYS_SECURE_PPI 1236 drivers/clocksource/arm_arch_timer.c 	return ARCH_TIMER_PHYS_SECURE_PPI;
ARCH_TIMER_PHYS_SECURE_PPI 1257 drivers/clocksource/arm_arch_timer.c 	for (i = ARCH_TIMER_PHYS_SECURE_PPI; i < ARCH_TIMER_MAX_TIMER_PPI; i++)
ARCH_TIMER_PHYS_SECURE_PPI 1276 drivers/clocksource/arm_arch_timer.c 		arch_timer_uses_ppi = ARCH_TIMER_PHYS_SECURE_PPI;