Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtime.c93 irq_set_type(gtdt->virtual_timer_interrupt, irq_type); in arch_timer_acpi_init()
94 timer_irq[TIMER_VIRT_PPI] = gtdt->virtual_timer_interrupt; in arch_timer_acpi_init()
/xen-4.10.0-shim-comet/xen/include/acpi/
A Dactbl3.h258 u32 virtual_timer_interrupt; member
309 u32 virtual_timer_interrupt; member
/xen-4.10.0-shim-comet/tools/libxl/
A Dlibxl_arm_acpi.c241 gtdt->virtual_timer_interrupt = GUEST_TIMER_VIRT_PPI; in make_acpi_gtdt()

Completed in 6 milliseconds