/* std.h
 *
 * This file is a header file intended for use with splint. It defines standard
 * complient functions and the standard they adhere to. The idea of this file is
 * that it will eventually be fit as a default library for splint for the
 * POSIX.1-2008 standard. Hence, each function should have a comment with it
 * defining the standard it adhers to. All POSIX.1-2001 are supposibly part of
 * the POSIX.1-2008 standard.
 *
 * Adherence to standards not related to POSIX.1-2008 can be defined as well;
 * this may be of use for creating files specific to that standard.
 */

// time.h
// TODO: definition of _POSIX_TIMERS is assumed; given splint doesn't know about
// the definition and it is usually defined. Suggestions for a better idea are
// welcome.
#define clockid_t long int

struct timespec{
time_t  tv_sec;
long    tv_nsec;
} timespec;

clockid_t CLOCK_REALTIME;
clockid_t CLOCK_MONOTONIC;
clockid_t CLOCK_PROCESS_CPUTIME_ID;
clockid_t CLOCK_THREAD_CPUTIME_ID;
clockid_t CLOCK_REALTIME_HR;
clockid_t CLOCK_MONOTONIC_HR; 

//SUSv2, POSIX.1-2001
long clock_gettime (clockid_t which_clock, struct timespec /*@out@*/ *tp);

//POSIX.1-2001
int nanosleep(const struct timespec *req, struct timespec /*@null@*/ *rem);

// stdlib.h

//4.3BSD, POSIX.1-2001
void srandom(unsigned int seed);

//4.3BSD, POSIX.1-2001
long int random(void);