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