GETHRXTIME_INLINE   29 maint/gnulib/lib/gethrxtime.h #ifndef GETHRXTIME_INLINE
GETHRXTIME_INLINE   44 maint/gnulib/lib/gethrxtime.h GETHRXTIME_INLINE xtime_t gethrxtime (void) { return gethrtime (); }