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