Searched refs:ttc_get_irq_pos (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ | ||
H A D | timer.c | 183 static inline unsigned ttc_get_irq_pos(ttc_id_t id) function 558 unsigned irq_pos = ttc_get_irq_pos(ttc->id); |
Completed in 25 milliseconds