Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dvtimer.c76 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_SECURE_PPI)) ) in domain_vtimer_init()
79 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_NONSECURE_PPI)) ) in domain_vtimer_init()
82 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_VIRT_PPI)) ) in domain_vtimer_init()
114 ? timer_get_irq(TIMER_PHYS_NONSECURE_PPI) in vcpu_vtimer_init()
122 ? timer_get_irq(TIMER_VIRT_PPI) in vcpu_vtimer_init()
A Dtime.c49 unsigned int timer_get_irq(enum timer_ppi ppi) in timer_get_irq() function
A Ddomain_build.c897 irq = timer_get_irq(TIMER_PHYS_SECURE_PPI); in make_timer_node()
901 irq = timer_get_irq(TIMER_PHYS_NONSECURE_PPI); in make_timer_node()
905 irq = timer_get_irq(TIMER_VIRT_PPI); in make_timer_node()
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Dtime.h32 unsigned int timer_get_irq(enum timer_ppi ppi);

Completed in 7 milliseconds