2ea8df3beb
702c5f5b42
1 2 3 4
5 6
/* * $Id$ */ extern void gettime_impl(void); extern void gettime_us_impl(void);