* stime.c (scm_get_internal_real_time, scm_your_base, scm_init_stime):
        Use times() when available, for a genuine real-time (unaffected by
        stime system time changes).

The name "real-time" suggests to me something independent of the
system date/time.  And since the return is clock ticks, times() would
seem natural.  Unless there's a particular reason it isn't already so.