Searched refs:check_due_timer (Results 1 – 9 of 9) sorted by relevance
12 long check_due_timer(void);
455 due_time = check_due_timer(); in ui_wait_for_chars_or_timer()
493 check_due_timer(void) in check_due_timer() function
592 check_due_timer(); in ServerWait()
2555 check_due_timer(); in serverGetReply()
1631 due_time = check_due_timer(); in WaitForChar()
7535 long due_time = check_due_timer(); in do_sleep()
709 similar to check_due_timer(). Also see #3809.
9882 Solution: Add check_due_timer() in WaitForChar().