aarch64.h

Go to the documentation of this file.

#ifndef INC_clock_aarch64
#define INC_clock_aarch64

typedef uint64_t tw_clock;

static inline tw_clock  tw_clock_read(void)
{
        tw_clock result=0;
#ifdef ROSS_timing
       asm volatile ("mrs %0, cntvct_el0" : "=r" (result));
#endif
        return result;
}

#endif