Re: ktime_get() equivalent from user space