TIMER_VIRT_PPI (reference) in projects: xen-4.10.0-shim-comet

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

/xen-4.10.0-shim-comet/xen/arch/arm/
A D	time.c	`94 timer_irq[TIMER_VIRT_PPI] = gtdt->virtual_timer_interrupt; in arch_timer_acpi_init() 185 timer_irq[TIMER_VIRT_PPI], in init_xen_time() 306 request_irq(timer_irq[TIMER_VIRT_PPI], 0, vtimer_interrupt, in init_timer_interrupt() 312 check_timer_irq_cfg(timer_irq[TIMER_VIRT_PPI], "virtual"); in init_timer_interrupt()`
A D	vtimer.c	`82 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_VIRT_PPI)) ) in domain_vtimer_init() 122 ? timer_get_irq(TIMER_VIRT_PPI) in vcpu_vtimer_init()`
A D	domain_build.c	`905 irq = timer_get_irq(TIMER_VIRT_PPI); in make_timer_node()`
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A D	time.h	`20 TIMER_VIRT_PPI = 2, enumerator`

Completed in 7 milliseconds