Searched refs:push_clock (Results 1 – 25 of 66) sorted by relevance
123
932 extern void push_clock(void);
2268 push_clock(); in char_from_terminal()2372 { push_clock(); in char_from_terminal()
2416 push_clock(); in cslstart()
1806 void push_clock(void) in push_clock() function
1435 push_clock(); in load_module()
2812 push_clock(); t0 = base_time; in reclaim()
1341 extern void push_clock(void);