Searched refs:disp_run_counter (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish/ | ||
| H A D | dispatch.h | 117 uint64_t disp_run_counter(void); |
| /barrelfish-2018-10-04/lib/barrelfish/ | ||
| H A D | dispatch.c | 62 uint64_t disp_run_counter(void) function |
Completed in 608 milliseconds