Searched defs:tsc_calculate_frequency_hpet (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c22 uint64_t tsc_calculate_frequency_hpet(const hpet_t *hpet) function
/seL4-refos-master/libs/libplatsupport/src/arch/x86/
H A Dtsc.c22 uint64_t tsc_calculate_frequency_hpet(const hpet_t *hpet) function

Completed in 68 milliseconds