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

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

/xen-4.10.0-shim-comet/xen/arch/arm/
A D	vtimer.c	`93 if ( !vgic_reserve_virq(d, GUEST_TIMER_VIRT_PPI) ) in domain_vtimer_init() 123 : GUEST_TIMER_VIRT_PPI; in vcpu_vtimer_init()`
/xen-4.10.0-shim-comet/xen/include/public/
A D	arch-arm.h	`447 #define GUEST_TIMER_VIRT_PPI 27 macro`
/xen-4.10.0-shim-comet/tools/libxl/
A D	libxl_arm_acpi.c	`241 gtdt->virtual_timer_interrupt = GUEST_TIMER_VIRT_PPI; in make_acpi_gtdt()`
A D	libxl_arm.c	`568 set_interrupt(ints[2], GUEST_TIMER_VIRT_PPI, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_timer_node()`

Completed in 7 milliseconds