Exemple #1
0
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();
}