Searched refs:TIMER_HYP_PPI (Results 1 – 2 of 2) sorted by relevance
98 timer_irq[TIMER_HYP_PPI] = gtdt->non_secure_el2_interrupt; in arch_timer_acpi_init()184 timer_irq[TIMER_HYP_PPI], in init_xen_time()224 if ( irq == (timer_irq[TIMER_HYP_PPI]) && in timer_interrupt()304 request_irq(timer_irq[TIMER_HYP_PPI], 0, timer_interrupt, in init_timer_interrupt()311 check_timer_irq_cfg(timer_irq[TIMER_HYP_PPI], "hypervisor"); in init_timer_interrupt()
21 TIMER_HYP_PPI = 3, enumerator
Completed in 3 milliseconds