Searched refs:timer_irq (Results 1 – 1 of 1) sorted by relevance
48 static unsigned int timer_irq[MAX_TIMER_PPI]; variable54 return timer_irq[ppi]; in timer_get_irq()169 timer_irq[i] = res; in init_dt_xen_time()184 timer_irq[TIMER_PHYS_NONSECURE_PPI], in init_xen_time()185 timer_irq[TIMER_HYP_PPI], in init_xen_time()186 timer_irq[TIMER_VIRT_PPI], in init_xen_time()225 if ( irq == (timer_irq[TIMER_HYP_PPI]) && in timer_interrupt()235 if ( irq == (timer_irq[TIMER_PHYS_NONSECURE_PPI]) && in timer_interrupt()327 release_irq(timer_irq[TIMER_HYP_PPI], NULL); in deinit_timer_interrupt()328 release_irq(timer_irq[TIMER_VIRT_PPI], NULL); in deinit_timer_interrupt()[all …]
Completed in 2 milliseconds