/*
 * POSIX.4 cpu clocks support
 *
 * Written by J. Vidal
 * Copyright (C) Dec, 2003 OCERA Consortium.
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation version 2.
 *
 */

#include <rtl_sched.h>
#include <linux/slab.h>
#include <rtl_time.h>


#ifdef CONFIG_OC_EXECTIMERS
#define _POSIX_CPUTIME
int init_cpuclock(clockid_t *c);
int pthread_getcpuclockid(pthread_t thread_id, clockid_t *clock_id);
#endif