drivers/clocksource/arm_arch_timer.c

1029

case ARCH_TIMER_PHYS_SECURE_PPI:

drivers/clocksource/arm_arch_timer.c

1038

free_percpu_irq(arch_timer_ppi[ARCH_TIMER_PHYS_SECURE_PPI],

drivers/clocksource/arm_arch_timer.c

1119

return ARCH_TIMER_PHYS_SECURE_PPI;

drivers/clocksource/arm_arch_timer.c

1142

for (i = ARCH_TIMER_PHYS_SECURE_PPI; i < ARCH_TIMER_MAX_TIMER_PPI; i++) {

drivers/clocksource/arm_arch_timer.c

1167

arch_timer_uses_ppi = ARCH_TIMER_PHYS_SECURE_PPI;

drivers/clocksource/arm_arch_timer.c

47

[ARCH_TIMER_PHYS_SECURE_PPI] = "sec-phys",

drivers/clocksource/arm_arch_timer.c

695

case ARCH_TIMER_PHYS_SECURE_PPI:

drivers/clocksource/arm_arch_timer.c

809

return (arch_timer_uses_ppi == ARCH_TIMER_PHYS_SECURE_PPI &&