ppc64le.h

Go to the documentation of this file.

#ifndef INC_clock_ppc64le
#define INC_clock_ppc64le
 
#include <stdint.h>
 
typedef uint64_t tw_clock;
 
#endif