Home
last modified time | relevance | path

Searched refs:timer_irq (Results 1 – 1 of 1) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtime.c47 static unsigned int timer_irq[MAX_TIMER_PPI]; variable
53 return timer_irq[ppi]; in timer_get_irq()
94 timer_irq[TIMER_VIRT_PPI] = gtdt->virtual_timer_interrupt; in arch_timer_acpi_init()
98 timer_irq[TIMER_HYP_PPI] = gtdt->non_secure_el2_interrupt; in arch_timer_acpi_init()
168 timer_irq[i] = res; in init_dt_xen_time()
183 timer_irq[TIMER_PHYS_NONSECURE_PPI], in init_xen_time()
184 timer_irq[TIMER_HYP_PPI], in init_xen_time()
185 timer_irq[TIMER_VIRT_PPI], in init_xen_time()
224 if ( irq == (timer_irq[TIMER_HYP_PPI]) && in timer_interrupt()
234 if ( irq == (timer_irq[TIMER_PHYS_NONSECURE_PPI]) && in timer_interrupt()
[all …]

Completed in 2 milliseconds