Searched refs:check_ppi_trigger (Results 1 – 1 of 1) sorted by relevance
817 static u32 check_ppi_trigger(int irq) in check_ppi_trigger() function837 flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_starting_cpu()841 flags = check_ppi_trigger(arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]); in arch_timer_starting_cpu()
