/* The first call to this function for a new time counter initializes the time tracking and returns an undefined result.  */
static u64 timecounter_read_delta(struct timecounter *tc)
/* The first call to this function for a new time counter initializes the time tracking and returns an undefined result.  */
static u64 timecounter_read_delta(struct timecounter *tc)
{
	cycle_t cycle_now, cycle_delta;
	u64 ns_offset;
	cycle_now = tc->cc->read(tc->cc);
	cycle_delta = (cycle_now - tc->cycle_last) & tc->cc->mask;
	ns_offset = cyclecounter_cyc2ns(tc->cc, cycle_delta);
	tc->cycle_last = cycle_now;
	return ns_offset;
}