Searched defs:rdtscp (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Dasm_inlines_arch.h29 static inline uint64_t rdtscp(void) function
/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Dunknown_arch.h49 static inline uint64_t rdtscp(void) function
/barrelfish-master/usr/bench/cow/
H A Dbench_rdtsc.h31 static inline uint64_t rdtscp(void) function
/barrelfish-master/include/arch/x86/barrelfish_kpi/
H A Dasm_inlines_arch.h33 static inline uint64_t rdtscp(void) function
41 static inline uint64_t rdtscp(void) function

Completed in 92 milliseconds