Searched refs:sys_debug_context_counter_read (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/barrelfish/
H A Dsys_debug.c39 errval_t sys_debug_context_counter_read(uint64_t *ret) function
49 errval_t err = sys_debug_context_counter_read(&val);
/barrelfish-master/include/barrelfish/
H A Dsys_debug.h34 errval_t sys_debug_context_counter_read(uint64_t *ret);

Completed in 81 milliseconds