Searched refs:_ttc_check_interrupt (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c321 static inline bool _ttc_check_interrupt(ttc_t *ttc) function
431 bool interrupt_pending = _ttc_check_interrupt(ttc);
470 bool interrupt_pending = _ttc_check_interrupt(ttc);

Completed in 1310 milliseconds