/* The clock_cpu_getres() function shall return the resolution of CPU time, the number of nanosecond per tick. */
uint64_t clock_cpu_getres(void)
/* The clock_cpu_getres() function shall return the resolution of CPU time, the number of nanosecond per tick. */
uint64_t clock_cpu_getres(void)
{
    if (_cputime_ops)
        return _cputime_ops->cputime_getres();
    rt_set_errno(ENOSYS);
    return 0;
}