gtod.h

Go to the documentation of this file.

#ifndef INC_clock_gtod
#define INC_clock_gtod

typedef uint64_t tw_clock;

#endif