unsigned long long frc_clock_ticks63(void) { unsigned long t = frc_clock_ticks32(); /* For cnt32_to_63 to work correctly we MUST call this routine * at least once every half-32-bit-wraparound period - that's once * every 35minutes or so - using it in sched_clock() should ensure this */ return cnt32_to_63(t); }
static inline hptime_t hptime(void) { return frc_clock_ticks32(); }