Searched refs:timer_get_irq (Results 1 – 4 of 4) sorted by relevance
76 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()
49 unsigned int timer_get_irq(enum timer_ppi ppi) in timer_get_irq() function
897 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()
32 unsigned int timer_get_irq(enum timer_ppi ppi);
Completed in 7 milliseconds