Searched refs:clock_reset_timewarp (Results 1 – 3 of 3) sorted by relevance
17 int clock_reset_timewarp(void);
123 int clock_reset_timewarp(void) { in clock_reset_timewarp() function
1561 (void) clock_reset_timewarp(); in initialize_clock()