Searched refs:TIMER_PHYS_SECURE_PPI (Results 1 – 4 of 4) sorted by relevance
51 ASSERT(ppi >= TIMER_PHYS_SECURE_PPI && ppi < MAX_TIMER_PPI); in timer_get_irq()90 timer_irq[TIMER_PHYS_SECURE_PPI] = gtdt->secure_el1_interrupt; in arch_timer_acpi_init()162 for ( i = TIMER_PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++ ) in init_dt_xen_time()
76 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_SECURE_PPI)) ) in domain_vtimer_init()
897 irq = timer_get_irq(TIMER_PHYS_SECURE_PPI); in make_timer_node()
18 TIMER_PHYS_SECURE_PPI = 0, enumerator
Completed in 8 milliseconds