Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dvtimer.c90 if ( !vgic_reserve_virq(d, GUEST_TIMER_PHYS_NS_PPI) ) in domain_vtimer_init()
115 : GUEST_TIMER_PHYS_NS_PPI; in vcpu_vtimer_init()
/xen-4.10.0-shim-comet/xen/include/public/
A Darch-arm.h449 #define GUEST_TIMER_PHYS_NS_PPI 30 macro
/xen-4.10.0-shim-comet/tools/libxl/
A Dlibxl_arm_acpi.c237 gtdt->non_secure_el1_interrupt = GUEST_TIMER_PHYS_NS_PPI; in make_acpi_gtdt()
A Dlibxl_arm.c567 set_interrupt(ints[1], GUEST_TIMER_PHYS_NS_PPI, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_timer_node()

Completed in 9 milliseconds