Searched defs:systime_t (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish_kpi/ | ||
| H A D | types.h | 136 typedef uint64_t systime_t; typedef |
| /barrelfish-2018-10-04/tools/schedsim/ | ||
| H A D | simulator.c | 100 typedef uint64_t systime_t; typedef |
Completed in 39 milliseconds