Symbol: ARCH_TIMER_MAX_TIMER_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
44
static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI] __ro_after_init;
drivers/clocksource/arm_arch_timer.c
46
static const char *arch_timer_ppi_names[ARCH_TIMER_MAX_TIMER_PPI] = {