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

/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c155 static inline int read_current_timer(unsigned long *timer_val) function

Completed in 31 milliseconds