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