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

/barrelfish-2018-10-04/lib/barrelfish/
H A Ddispatch.c61 static uint64_t run_counter = 0; variable
64 return run_counter;
92 ++run_counter;

Completed in 77 milliseconds