GUEST_TIMER_VIRT_PPI (reference) in projects: xen

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

/xen/xen/arch/arm/
A D	vtimer.c	`91 if ( !vgic_reserve_virq(d, GUEST_TIMER_VIRT_PPI) ) in domain_vtimer_init() 120 : GUEST_TIMER_VIRT_PPI; in vcpu_vtimer_init()`
A D	domain_build.c	`1071 irq[TIMER_VIRT_PPI] = GUEST_TIMER_VIRT_PPI; in make_timer_node()`
/xen/xen/include/public/
A D	arch-arm.h	`454 #define GUEST_TIMER_VIRT_PPI 27 macro`
/xen/tools/libxl/
A D	libxl_arm_acpi.c	`245 gtdt->virtual_timer_interrupt = GUEST_TIMER_VIRT_PPI; in make_acpi_gtdt()`
A D	libxl_arm.c	`578 set_interrupt(ints[2], GUEST_TIMER_VIRT_PPI, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_timer_node()`

Completed in 11 milliseconds