/* This is the MPS sched_clock implementation. This has a resolution of 40ns.  */
unsigned long long sched_clock(void)
/* This is the MPS sched_clock implementation. This has a resolution of 40ns.  */
unsigned long long sched_clock(void)
{
	return (unsigned long long)readl(MPS_REFCOUNTER) * 40;
}