Searched refs:arch_timer_ppi (Results 1 – 1 of 1) sorted by relevance
66 static int arch_timer_ppi[MAX_TIMER_PPI]; variable275 clk->irq = arch_timer_ppi[VIRT_PPI]; in __arch_timer_setup()279 clk->irq = arch_timer_ppi[PHYS_SECURE_PPI]; in __arch_timer_setup()354 enable_percpu_irq(arch_timer_ppi[VIRT_PPI], 0); in arch_timer_setup()356 enable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI], 0); in arch_timer_setup()357 if (arch_timer_ppi[PHYS_NONSECURE_PPI]) in arch_timer_setup()358 enable_percpu_irq(arch_timer_ppi[PHYS_NONSECURE_PPI], 0); in arch_timer_setup()502 disable_percpu_irq(arch_timer_ppi[VIRT_PPI]); in arch_timer_stop()504 disable_percpu_irq(arch_timer_ppi[PHYS_SECURE_PPI]); in arch_timer_stop()505 if (arch_timer_ppi[PHYS_NONSECURE_PPI]) in arch_timer_stop()[all …]