Searched refs:MAX_TIMER_PPI (Results 1 – 2 of 2) sorted by relevance
47 static unsigned int timer_irq[MAX_TIMER_PPI];51 ASSERT(ppi >= TIMER_PHYS_SECURE_PPI && ppi < MAX_TIMER_PPI); in timer_get_irq()162 for ( i = TIMER_PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++ ) in init_dt_xen_time()
22 MAX_TIMER_PPI = 4, enumerator
Completed in 2 milliseconds