Searched defs:systime_frequency (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-2018-10-04/kernel/ | ||
| H A D | systime.c | 19 systime_t systime_frequency = 1; variable |
| /barrelfish-2018-10-04/kernel/include/arch/x86/ | ||
| H A D | global.h | 32 systime_t systime_frequency; member in struct:global |
| /barrelfish-2018-10-04/lib/barrelfish/ | ||
| H A D | systime.c | 18 systime_t systime_frequency = 1; variable [all...] |
| /barrelfish-2018-10-04/include/barrelfish_kpi/ | ||
| H A D | dispatcher_shared.h | 58 uint64_t systime_frequency; ///< Systime frequency member in struct:dispatcher_shared_generic |
Completed in 43 milliseconds