timespec_ticks    601 src/timefns.c    return Fcons (timespec_ticks (t), timespec_hz);
timespec_ticks    755 src/timefns.c        return decode_ticks_hz (timespec_ticks (current_timespec ()),