/* The return value is guaranteed to be monotonic in that range as long as there is always less than 89 seconds between successive calls to this function.  */
unsigned long long sched_clock(void)
/* The return value is guaranteed to be monotonic in that range as long as there is always less than 89 seconds between successive calls to this function.  */
unsigned long long sched_clock(void)
{
	unsigned long long v = cnt32_to_63(readl(__io_address(VEXPRESS_SYS_24MHz)));
	v *= 125<<1;
	do_div(v, 3<<1);
	return v;
}