Searched refs:x86_rdtsc (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dtimer.h44 return x86_rdtsc();
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dhardware.c53 uint64_t old_ticks = x86_rdtsc();
58 uint64_t new_ticks = x86_rdtsc();
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h186 static inline uint64_t x86_rdtsc(void) function

Completed in 31 milliseconds