/* Returns current time from boot in nsecs. It's OK for this to wrap around for now, as it's just a relative time stamp.  */
unsigned long long sched_clock(void)
/* Returns current time from boot in nsecs. It's OK for this to wrap around for now, as it's just a relative time stamp.  */
unsigned long long sched_clock(void)
{
	return clocksource_cyc2ns(clocksource_32k.read(&clocksource_32k),
				  clocksource_32k.mult, clocksource_32k.shift);
}