Home
last modified time | relevance | path

Searched refs:MAX_TIMER_PPI (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/arm/
A Dtime.c48 static unsigned int timer_irq[MAX_TIMER_PPI];
52 ASSERT(ppi >= TIMER_PHYS_SECURE_PPI && ppi < MAX_TIMER_PPI); in timer_get_irq()
163 for ( i = TIMER_PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++ ) in init_dt_xen_time()
A Ddomain_build.c1030 unsigned int irq[MAX_TIMER_PPI]; in make_timer_node()
/xen/xen/include/asm-arm/
A Dtime.h26 MAX_TIMER_PPI = 4, enumerator

Completed in 10 milliseconds