Searched defs:sys_debug_get_tsc_per_ms (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Dsys_debug.c24 errval_t sys_debug_get_tsc_per_ms(cycles_t *ret) function
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dsys_debug.c23 errval_t sys_debug_get_tsc_per_ms(cycles_t *ret) function
/barrelfish-master/lib/barrelfish/arch/x86/
H A Dsys_debug.c23 errval_t sys_debug_get_tsc_per_ms(cycles_t *ret) function

Completed in 89 milliseconds