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

/barrelfish-master/kernel/arch/x86/
H A Dmisc.c42 last = arch_get_cycle_count();
45 uint64_t now = arch_get_cycle_count();
/barrelfish-master/kernel/include/arch/x86_32/
H A Dmisc.h33 #define arch_get_cycle_count() rdtscp() macro
/barrelfish-master/kernel/include/arch/x86_64/
H A Dmisc.h38 #define arch_get_cycle_count() rdtscp() macro

Completed in 35 milliseconds