Searched refs:TIMER_HYP_PPI (Results 1 – 2 of 2) sorted by relevance
99 timer_irq[TIMER_HYP_PPI] = gtdt->non_secure_el2_interrupt; in arch_timer_acpi_init()185 timer_irq[TIMER_HYP_PPI], in init_xen_time()225 if ( irq == (timer_irq[TIMER_HYP_PPI]) && in timer_interrupt()305 request_irq(timer_irq[TIMER_HYP_PPI], 0, timer_interrupt, in init_timer_interrupt()312 check_timer_irq_cfg(timer_irq[TIMER_HYP_PPI], "hypervisor"); in init_timer_interrupt()327 release_irq(timer_irq[TIMER_HYP_PPI], NULL); in deinit_timer_interrupt()
25 TIMER_HYP_PPI = 3, enumerator
Completed in 3 milliseconds