GUEST_TIMER_PHYS_S_PPI (reference) in projects: xen

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

/xen/xen/include/public/
A D	arch-arm.h	`455 #define GUEST_TIMER_PHYS_S_PPI 29 macro`
/xen/xen/arch/arm/
A D	vtimer.c	`85 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_S_PPI) ) in domain_vtimer_init()`
A D	domain_build.c	`1069 irq[TIMER_PHYS_SECURE_PPI] = GUEST_TIMER_PHYS_S_PPI; in make_timer_node()`
/xen/tools/libxl/
A D	libxl_arm.c	`576 set_interrupt(ints[0], GUEST_TIMER_PHYS_S_PPI, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_timer_node()`

Completed in 10 milliseconds