/* The clock_cpu_gettime() function shall return the current value of cpu time tick. */
uint64_t clock_cpu_gettime(void)
/* The clock_cpu_gettime() function shall return the current value of cpu time tick. */
uint64_t clock_cpu_gettime(void)
{
    if (_cputime_ops)
        return _cputime_ops->cputime_gettime();
    rt_set_errno(ENOSYS);
    return 0;
}