/* ( * 1E9 / 3686400 => * 78125 / 288)  */
unsigned long long sched_clock(void)
/* ( * 1E9 / 3686400 => * 78125 / 288)  */
unsigned long long sched_clock(void)
{
	unsigned long long v = cnt32_to_63(OSCR);
	v *= 78125<<1;
	do_div(v, 288<<1);
	return v;
}