check_ppi_trigger  872 drivers/clocksource/arm_arch_timer.c 	flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);
check_ppi_trigger  876 drivers/clocksource/arm_arch_timer.c 		flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);