Searched refs:arch_timer_ppi (Results 1 – 1 of 1) sorted by relevance
66 static int arch_timer_ppi[MAX_TIMER_PPI]; variable267 clk->irq = arch_timer_ppi[VIRT_PPI]; in __arch_timer_setup()271 clk->irq = arch_timer_ppi[PHYS_SECURE_PPI]; in __arch_timer_setup()346 enable_percpu_irq(arch_timer_ppi[VIRT_PPI], 0); in arch_timer_setup()348 enable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], 0); in arch_timer_setup()349 if (arch_timer_ppi[PHYS_NONSECURE_PPI]) in arch_timer_setup()350 enable_percpu_irq(arch_timer_ppi[PHYS_NONSECURE_PPI], 0); in arch_timer_setup()494 disable_percpu_irq(arch_timer_ppi[VIRT_PPI]); in arch_timer_stop()496 disable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI]); in arch_timer_stop()497 if (arch_timer_ppi[PHYS_NONSECURE_PPI]) in arch_timer_stop()[all …]