ARCH_TIMER_PHYS_SECURE_PPI
case ARCH_TIMER_PHYS_SECURE_PPI:
free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],
return ARCH_TIMER_PHYS_SECURE_PPI;
for (i = ARCH_TIMER_PHYS_SECURE_PPI; i < ARCH_TIMER_MAX_TIMER_PPI; i++) {
arch_timer_uses_ppi = ARCH_TIMER_PHYS_SECURE_PPI;
[ARCH_TIMER_PHYS_SECURE_PPI] = "sec-phys",
case ARCH_TIMER_PHYS_SECURE_PPI:
return (arch_timer_uses_ppi == ARCH_TIMER_PHYS_SECURE_PPI &&