w32_get_timer_time  480 src/w32proc.c        if (expire > (now = w32_get_timer_time (hth)))
w32_get_timer_time  495 src/w32proc.c  	    (expire > (now = w32_get_timer_time (hth))) ? expire - now : 0;
w32_get_timer_time  507 src/w32proc.c  	  while (w32_get_timer_time (hth) < expire)
w32_get_timer_time  553 src/w32proc.c  	  now = w32_get_timer_time (hth);
w32_get_timer_time  748 src/w32proc.c    ticks_now = w32_get_timer_time ((which == ITIMER_REAL)
w32_get_timer_time  795 src/w32proc.c        for (t1 = w32_get_timer_time (NULL);
w32_get_timer_time  796 src/w32proc.c  	   (t2 = w32_get_timer_time (NULL)) == t1; )