GUEST_TIMER_PHYS_NS_PPI (reference) in projects: xen

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

/xen/xen/arch/arm/
A D	vtimer.c	`88 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_NS_PPI) ) in domain_vtimer_init() 112 : GUEST_TIMER_PHYS_NS_PPI; in vcpu_vtimer_init()`
A D	domain_build.c	`1070 irq[TIMER_PHYS_NONSECURE_PPI] = GUEST_TIMER_PHYS_NS_PPI; in make_timer_node()`
/xen/xen/include/public/
A D	arch-arm.h	`456 #define GUEST_TIMER_PHYS_NS_PPI 30 macro`
/xen/tools/libxl/
A D	libxl_arm_acpi.c	`241 gtdt->non_secure_el1_interrupt = GUEST_TIMER_PHYS_NS_PPI; in make_acpi_gtdt()`
A D	libxl_arm.c	`577 set_interrupt(ints[1], GUEST_TIMER_PHYS_NS_PPI, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_timer_node()`

Completed in 11 milliseconds