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 (); }