Searched refs:timestamp_short (Results 1 – 4 of 4) sorted by relevance
243 ++timestamp_short; in main()
315 ++timestamp_short; in main()
26 extern int timestamp_short;
40 int timestamp_short; variable1077 if (timestamp_short) { in print_timestamp()