#include <time.h>
#include <sys/_time.h>

clock_t clock(void)
{
    return __sys_clock();
}

int clock_getres(clockid_t clk_id, struct timespec *res)
{
    return __sys_clock_getres(clk_id, res);
}

int clock_gettime(clockid_t clk_id, struct timespec *tp)
{
    return __sys_clock_gettime(clk_id, tp);
}

int clock_settime(clockid_t clk_id, const struct timespec *tp)
{
    return __sys_clock_settime(clk_id, tp);
}