Searched refs:TIMER_PHYS_NONSECURE_PPI (Results 1 – 4 of 4) sorted by relevance
86 timer_irq[TIMER_PHYS_NONSECURE_PPI] = gtdt->non_secure_el1_interrupt; in arch_timer_acpi_init()183 timer_irq[TIMER_PHYS_NONSECURE_PPI], in init_xen_time()234 if ( irq == (timer_irq[TIMER_PHYS_NONSECURE_PPI]) && in timer_interrupt()308 request_irq(timer_irq[TIMER_PHYS_NONSECURE_PPI], 0, timer_interrupt, in init_timer_interrupt()313 check_timer_irq_cfg(timer_irq[TIMER_PHYS_NONSECURE_PPI], "NS-physical"); in init_timer_interrupt()
79 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_NONSECURE_PPI)) ) in domain_vtimer_init()114 ? timer_get_irq(TIMER_PHYS_NONSECURE_PPI) in vcpu_vtimer_init()
901 irq = timer_get_irq(TIMER_PHYS_NONSECURE_PPI); in make_timer_node()
19 TIMER_PHYS_NONSECURE_PPI = 1, enumerator
Completed in 7 milliseconds