Searched refs:set_clock_comparator (Results 1 – 1 of 1) sorted by relevance
61 static inline void set_clock_comparator(uint64_t time) in set_clock_comparator() function83 set_clock_comparator(time); in read_prompt()