2 * PuTTY miscellaneous Unix stuff
8 unsigned long getticks(void)
11 gettimeofday(&tv, NULL);
13 * This will wrap around approximately every 4000 seconds, i.e.
14 * just over an hour, which is more than enough.
16 return tv.tv_sec * 1000000 + tv.tv_usec;