Symbol: check_ppi_trigger
drivers/clocksource/arm_arch_timer.c
833
flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]);
drivers/clocksource/arm_arch_timer.c
837
flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]);