Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dvtimer.c74 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_SECURE_PPI)) ) in domain_vtimer_init()
77 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_NONSECURE_PPI)) ) in domain_vtimer_init()
80 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_VIRT_PPI)) ) in domain_vtimer_init()
111 ? timer_get_irq(TIMER_PHYS_NONSECURE_PPI) in vcpu_vtimer_init()
119 ? timer_get_irq(TIMER_VIRT_PPI) in vcpu_vtimer_init()
A Dtime.c50 unsigned int timer_get_irq(enum timer_ppi ppi) in timer_get_irq() function
A Ddomain_build.c1062 irq[TIMER_PHYS_SECURE_PPI] = timer_get_irq(TIMER_PHYS_SECURE_PPI); in make_timer_node()
1064 timer_get_irq(TIMER_PHYS_NONSECURE_PPI); in make_timer_node()
1065 irq[TIMER_VIRT_PPI] = timer_get_irq(TIMER_VIRT_PPI); in make_timer_node()
/xen/xen/include/asm-arm/
A Dtime.h36 unsigned int timer_get_irq(enum timer_ppi ppi);

Completed in 14 milliseconds