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