Home
last modified time | relevance | path

Searched refs:ppi (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/arm/
A Dtime.c50 unsigned int timer_get_irq(enum timer_ppi ppi) in timer_get_irq() argument
52 ASSERT(ppi >= TIMER_PHYS_SECURE_PPI && ppi < MAX_TIMER_PPI); in timer_get_irq()
54 return timer_irq[ppi]; in timer_get_irq()
/xen/xen/include/asm-arm/
A Dtime.h36 unsigned int timer_get_irq(enum timer_ppi ppi);

Completed in 2 milliseconds