18#  error gcc asm extensions required 
   20#if ! (defined(__arm__)) 
   21#  error only 32 bit arm platform supported 
static const tw_optdef clock_opts[]
 
tw_clock tw_clock_now(tw_pe *me)
 
const tw_optdef * tw_clock_setup(void)
 
void tw_clock_init(tw_pe *me)
 
static tw_clock tw_clock_read(void)
 
unsigned long long g_tw_clock_rate
 
#define TWOPT_STIME(n, v, h)
 
Holds the entire PE state.
 
tw_clock clock_offset
Initial clock value for this PE.
 
tw_clock clock_time
Most recent clock value for this PE.