/* Scheduler clock - returns current time in nanosec units.  */
unsigned long long sched_clock(void)
/* Scheduler clock - returns current time in nanosec units.  */
unsigned long long sched_clock(void)
{
	return jiffies_64 * (1000000000 / HZ);
}