bgq.h

Go to the documentation of this file.

#ifndef INC_clock_bgq
#define INC_clock_bgq

#include<hwi/include/bqc/A2_inlines.h>

typedef unsigned long long tw_clock;

#endif