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

Searched refs:GUEST_EVTCHN_PPI (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/xen/include/public/
A D	arch-arm.h	`450 #define GUEST_EVTCHN_PPI 31 macro`
/xen-4.10.0-shim-comet/xen/arch/arm/
A D	domain.c	`660 d->arch.evtchn_irq = GUEST_EVTCHN_PPI; in arch_domain_create() 662 if ( !vgic_reserve_virq(d, GUEST_EVTCHN_PPI) ) in arch_domain_create()`
/xen-4.10.0-shim-comet/tools/libxl/
A D	libxl_arm.c	`609 set_interrupt(intr, GUEST_EVTCHN_PPI, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_hypervisor_node() 995 val \|= GUEST_EVTCHN_PPI; in libxl__arch_domain_init_hw_description()`

Completed in 7 milliseconds