Searched refs:arch_timer_uses_ppi (Results 1 – 1 of 1) sorted by relevance
86 static enum arch_timer_ppi_nr arch_timer_uses_ppi __ro_after_init = ARCH_TIMER_VIRT_PPI;870 clk->irq = arch_timer_ppi[arch_timer_uses_ppi]; in __arch_timer_setup()871 switch (arch_timer_uses_ppi) { in __arch_timer_setup()1010 return (arch_timer_uses_ppi == ARCH_TIMER_PHYS_SECURE_PPI && in arch_timer_has_nonsecure_ppi()1034 flags = check_ppi_trigger(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_starting_cpu()1035 enable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi], flags); in arch_timer_starting_cpu()1088 (arch_timer_uses_ppi == ARCH_TIMER_VIRT_PPI) ? "virt" : "phys" : in arch_timer_banner()1134 arch_timer_uses_ppi == ARCH_TIMER_VIRT_PPI) { in arch_counter_register()1179 disable_percpu_irq(arch_timer_ppi[arch_timer_uses_ppi]); in arch_timer_stop()1246 ppi = arch_timer_ppi[arch_timer_uses_ppi]; in arch_timer_register()[all …]