ARCH_TIMER_MAX_TIMER_PPI   64 drivers/clocksource/arm_arch_timer.c static int arch_timer_ppi[ARCH_TIMER_MAX_TIMER_PPI];
ARCH_TIMER_MAX_TIMER_PPI 1257 drivers/clocksource/arm_arch_timer.c 	for (i = ARCH_TIMER_PHYS_SECURE_PPI; i < ARCH_TIMER_MAX_TIMER_PPI; i++)