| /* System-dependent timing definitions.  Generic version. | 
 |    Copyright (C) 1996-2014 Free Software Foundation, Inc. | 
 |    This file is part of the GNU C Library. | 
 |  | 
 |    The GNU C Library is free software; you can redistribute it and/or | 
 |    modify it under the terms of the GNU Lesser General Public | 
 |    License as published by the Free Software Foundation; either | 
 |    version 2.1 of the License, or (at your option) any later version. | 
 |  | 
 |    The GNU C Library is distributed in the hope that it will be useful, | 
 |    but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 |    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU | 
 |    Lesser General Public License for more details. | 
 |  | 
 |    You should have received a copy of the GNU Lesser General Public | 
 |    License along with the GNU C Library; if not, see | 
 |    <http://www.gnu.org/licenses/>.  */ | 
 |  | 
 | /* | 
 |  * Never include this file directly; use <time.h> instead. | 
 |  */ | 
 |  | 
 | /* This file does one of two things, based on __need_timeval.  If it is set, we | 
 |  * just provide the timeval struct and clear __need_timeval.  If it is not, we | 
 |  * provide the *real* bits/time.h.  Either way, we set another level of ifdefs | 
 |  * in case we are included multiple times. | 
 |  * | 
 |  * Akaros's modifications are to use our kernel header for the timeval struct. | 
 |  */ | 
 |  | 
 | #ifndef __need_timeval | 
 | # ifndef _BITS_TIME_H | 
 | #  define _BITS_TIME_H	1 | 
 |  | 
 | /* ISO/IEC 9899:1990 7.12.1: <time.h> | 
 |    The macro `CLOCKS_PER_SEC' is the number per second of the value | 
 |    returned by the `clock' function. */ | 
 | /* CAE XSH, Issue 4, Version 2: <time.h> | 
 |    The value of CLOCKS_PER_SEC is required to be 1 million on all | 
 |    XSI-conformant systems. */ | 
 | #  define CLOCKS_PER_SEC  1000000l | 
 |  | 
 | #  if !defined __STRICT_ANSI__ && !defined __USE_XOPEN2K | 
 | /* Even though CLOCKS_PER_SEC has such a strange value CLK_TCK | 
 |    presents the real value for clock ticks per second for the system.  */ | 
 | #   include <bits/types.h> | 
 | extern long int __sysconf (int); | 
 | #   define CLK_TCK ((__clock_t) __sysconf (2))	/* 2 is _SC_CLK_TCK */ | 
 | #  endif | 
 |  | 
 | #  ifdef __USE_POSIX199309 | 
 | /* Identifier for system-wide realtime clock.  */ | 
 | #   define CLOCK_REALTIME		0 | 
 | /* Monotonic system-wide clock.  */ | 
 | #   define CLOCK_MONOTONIC		1 | 
 | /* High-resolution timer from the CPU.  */ | 
 | #   define CLOCK_PROCESS_CPUTIME_ID	2 | 
 | /* Thread-specific CPU-time clock.  */ | 
 | #   define CLOCK_THREAD_CPUTIME_ID	3 | 
 | /* Monotonic system-wide clock, not adjusted for frequency scaling.  */ | 
 | #   define CLOCK_MONOTONIC_RAW		4 | 
 | /* Identifier for system-wide realtime clock, updated only on ticks.  */ | 
 | #   define CLOCK_REALTIME_COARSE	5 | 
 | /* Monotonic system-wide clock, updated only on ticks.  */ | 
 | #   define CLOCK_MONOTONIC_COARSE	6 | 
 |  | 
 | /* Flag to indicate time is absolute.  */ | 
 | #   define TIMER_ABSTIME		1 | 
 | #  endif | 
 |  | 
 | # endif	/* bits/time.h */ | 
 | #endif | 
 |  | 
 | #ifdef __need_timeval | 
 | # undef __need_timeval | 
 | /* Akaros defines the timeval struct as part of its kernel header. */ | 
 | # include <ros/time.h> | 
 | #endif	/* need timeval */ |