gethrxtime 36 maint/gnulib/lib/gethrxtime.c gethrxtime (void) gethrxtime 44 maint/gnulib/lib/gethrxtime.h GETHRXTIME_INLINE xtime_t gethrxtime (void) { return gethrtime (); }