Searched defs:mct_reset (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/include/drivers/timer/
H A Dmct.h116 static inline void mct_reset(void) function

Completed in 36 milliseconds